Python TEC

¬[¬[[[¬P v (¬Q v R)] v (S y R)]] v (Q y P)]
[[[¬P v (¬Q v R)] v (S y R)]] y ¬(Q y P), DOBLE NEGACIÓN, DE MORGAN
[[¬P v (¬Q v R)] v (S y R)] y (¬Q v ¬P), DE MORGAN
[(¬Q v ¬P) v [R v (S y R)]] y (¬Q v ¬P), CONMUTATIVIDAD, ASOCIACIÓN
[(¬Q v ¬P) v R] y (¬Q v ¬P), ABSORCIÓN
¬Q v ¬P, ABSORCIÓN