Diskussion:Erfüllbarkeitsäquivalenz

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

erfüllbarkeitsäquivalent?

[Quelltext bearbeiten]

ist doch widersprüchlich und nicht? 82.82.217.98 00:42, 30. Jul. 2009 (CEST)Beantworten

ist erfüllbar, weil mit X=wahr die Formel wahr ist. 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)