Python TEC

¬[P y ¬(T y R)] y (T -> ¬P)
[¬P v (T y R)] y (T -> ¬P) DOBLE NEGACIÓN, DE MORGAN
[¬P v (T y R)] y (¬T v ¬P), IMPLICACIÓN Y DISYUNCIÓN
[(¬P v T) y (¬P v R)] y (¬T v ¬P), LEYES DISTRIBUTIVAS
[(¬P v T) y (¬T v ¬P)] y (¬P v R), ASOCIACIÓN
[¬P v (T y ¬T)] y (¬P v R), LEYES DISTRIBUTIVAS
[¬P v Fº] y (¬P v R),INVERSOS
¬P y (¬P v R), NEUTRO
¬P, ABSORCIÓN