Lógica proposicional - Problema 7

En este interesante problema, vamos a revisar el uso de operadores personalizados, es decir, operadores que se crean con una expresión lógica determinada. Antes de proceder con la resolución del problema, te sugiero que le pongas pausa y lo resuelvas por tu propia cuenta. Luego le das continuar al video y comparas con la solución. Si deseas echar un vistazo la leyes de la lógica proposicional, lo puedes ver aquí.