Python TEC

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