Python TEC

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