Voy para un lado. El otro lo demuestro mañana. Ahora me da fiaca
Sea
Sólo usé la propiedad "distributiva" entre conjunciones y disyunciones, y la ley de De Morgan, además de las definiciones, claro.
Cualquier error avisame. Mañana pruebo hacer la vuelta.