Python TEC

[P -> (Q y P)] v [¬Q y (P v Q)]
[¬P v (Q y P)] v [¬Q y (P v Q)], IMPLICACIÓN Y DISYUNCIÓN
[(¬P v Q) y (¬P v P)] v [(¬Q y P) v (¬Q y Q)], LEYES DISTRIBUTIVAS
[(¬P v Q) y Tº] v [(¬Q y P) v Fº], INVERSOS
(¬P v Q) v (¬Q y P), NEUTRO
¬P v [Q v (¬Q y P)], ASOCIACIÓN
¬P v [(Q v ¬Q) y (Q v P)], LEYES DISTRIBUTIVAS
¬P v [Tº y (Q v P)],INVERSOS
¬P v (Q v P), NEUTRO
(¬P v P) v Q, ASOCIACIÓN
Tº v Q,INVERSOS
Tº,DOMINACIÓN