Python TEC

1- P v ¬(¬R v P) v R
P v (R y ¬P) v R, Doble Negación, De Morgan
R v [P v (R y ¬P)], Asociación
R v [(P v R) y (P v ¬P)], Leyes Distributivas
R v [(P v R) y Tº], Inversos
R v (P v R), Neutro
(R v R) v P, Asociación
R v P, Idempotencia