Erfüllbarkeitsäquivalenz / Äquivalenz |
15.11.2014, 18:16 | Triphos | Auf diesen Beitrag antworten » |
Erfüllbarkeitsäquivalenz / Äquivalenz 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 |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|