3
Convierta una expresión lógica a forma normal conjuntiva
Objetivo: Escriba un programa o función completa que tome una fórmula en lógica proposicional (de aquí en adelante referida como expresión o expresión lógica ) y genere esa fórmula en forma conjuntiva normal . Hay dos constantes, ⊤y ⊥que representa verdadero y falso, un operador unario ¬que representa la negación, …