Python TEC

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