Expresion simbolica



[(r ∨ (s ᴧ t)) ᴧ ∼ (s ᴧ t)] →r



Necesito saber cuales son las premisas, conclusiones y la ley utilizada

P1

p2

Conslusion

que tipo de ley utiliza