Python TEC

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