Python TEC

¬[(¬P v ¬Q) y (¬Q v P)] y (¬Q v R)
[¬(¬P v ¬Q) v ¬(¬Q v P)] y (¬Q v R), DE MORGAN
[(P y Q) v (Q y ¬P)] y (¬Q v R), DOBLE NEGACIÓN, DE MORGAN
[Q y (P v ¬P)] y (¬Q v R), LEYES DISTRIBUTIVAS
[Q y Tº] y (¬Q v R), INVERSOS
Q y (¬Q v R), NEUTRO
(Q v ¬Q) y (Q v R), LEYES DISTRIBUTIVAS
Tº y (Q v R), INVERSOS
(Q v R), NEUTRO