Formules équivalentes avec différents CNF
-
03-11-2019 - |
Question
Je n'ai pas pu trouver ou trouver deux formules qui sont équivalentes mais qui ont un CNF différent. Toutes mes idées se réduisent à la même formule après avoir appliqué des transformations. Les exigences sont les suivantes:
Donnez un exemple qui montre que la prestation de l'équivalence de deux formules en les mettant en forme normale conjonctive est incomplète. Par incomplétude, nous voulons dire qu'il existe des exemples de formules qui sont équivalentes mais leur forme normale conjonctive n'est pas la même.
Pas de solution correcte
Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange