Erfüllbarkeitsäquivalenz / Äquivalenz

Neue Frage »

Triphos Auf diesen Beitrag antworten »
Erfüllbarkeitsäquivalenz / Äquivalenz
Hallo,
ich habe mal eine Frage zur Erfüllbarkeitsäquivalenz, ich habe hier 2 Formeln:



und



Die beiden Formeln können ja shconmal nicht äquivalent sein, da Beta mehr Literale als Alpha hat, wie ist das jetzt mit der Erfüllbarkeitsäquivalenz? Alpha ist wiederspruchsvoll, also immer falsch, aber Beta ist einmal wahr und zwar wenn A, B, C und D wahr sind. Sind sie jetzt trotzdem erfüllbarkeitsäquivalent, weil es Belegungen gibt für die Alpha und Beta beide falsch sind? Oder muss es für Erfüllbarkeitsäquivalenz Belegungen geben, bei denen beide Formeln wahr sind?

MfG
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »