Diskussion:Erfüllbarkeitsäquivalenz

$Xund\neg X$ erfüllbarkeitsäquivalent?

$a\land \neg a$ ist doch widersprüchlich und $\neg a\lor a$ nicht? 82.82.217.98 00:42, 30. Jul. 2009 (CEST)

$X$ ist erfüllbar, weil mit X=wahr die Formel wahr ist. $\neg X$ ist erfüllbar, weil mit X=falsch die Formel wahr ist. Beide Formeln sind erfüllbar, somit sind sie erfüllbarkeitsäquivalent. --Matthäus Wander 18:56, 31. Jul. 2009 (CEST)

• Ich hab mal eine kurze Erläuterung hinzugefügt, damit das Beispiel im Kontext der Erklärung für jeden schnell verstanden werden kann. (nicht signierter Beitrag von 82.83.79.127 (Diskussion | Beiträge) 13:18, 29. Mär. 2010 (CEST))