Python TEC

[(¬P v Q) y P] -> Q
[(¬P y P) v (P y Q)] -> Q, LEYES DISTRIBUTIVAS
[Fº v (P y Q)] -> Q, INVERSOS
(P y Q) -> Q, NEUTRO
¬(P y Q) v Q, IMPLICACION Y DISYUNCIÓN
(¬P v ¬Q) v Q, DOBLE NEGACION, DE MORGAN
¬P v (¬Q v Q), ASOCIACION
¬P v Tº, INVERSOS
Tº, DOMINACIÓN