Python TEC

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