Lösung für Aufgabe 3.2.12
Beweisen Sie die obige Aussage (3.3).Wir stellen die Wahrheitstabellen auf: $$ \begin{array}{c|c|c|c|c} p & q & p\liff q & \neg(p\liff q) & p\xor q \\\hline 0 & 0 & 1 & 0 & 0 \\ 0 & 1 & 0 & 1 & 1 \\ 1 & 0 & 0 & 1 & 1 \\ 1 & 1 & 1 & 0 & 0 \end{array} $$