A V B = X spielt Tischtennis oder Tischfußball
¬A Λ ¬B = X spielt nicht Tischtennis und nicht Tischfußball
Davon die Negation: X spielt doch eines von beiden, also
X spielt Tischtennis oder Tischfußball
Tabelle
A B ¬A ¬B A∨B ¬A Λ ¬B ¬(¬A Λ ¬B)
w w f f w f w
w f f w w f w
f w w f w f w
f f w w f w f
5. und 7. Spalte stimmen überein, also A V B äquivalent
zur folgenden Aussageverknüpfung ist : ¬(¬A Λ ¬B)