Semantik der Aussagenlogik: Übungsblatt 2
Und-Oder oder Entweder-Oder

1. Vervollständige die Wahrheitswerttabelle für die Disjunktion. Als Muster soll folgende Tabelle für die Negation dienen:

elementare Aussage
zusammengesetzte Aussage
p
¬p
w
f
f
w
elementare Aussagen
zusammengesetzte Aussage
a
b
a b
w
w
f
f
w
f
w
f
2. Erstelle eine Wahrheitswerttabelle für die Alternation ("Entweder-Oder", "Exklusives Oder", "XOR", ...). Wir verwenden das Symbol xor.
elementare Aussagen
zusammengesetzte Aussage
p
q
p xor q