Aussagenlogik/Regel von de Morgan/Beweise/Aufgabe

Man beweise mittels Wahrheitstabellen die Regeln von de Morgan, nämlich dass

$\neg (\beta \vee \gamma )\leftrightarrow (\neg \beta \wedge \neg \gamma )$

und

$\neg (\beta \wedge \gamma )\leftrightarrow (\neg \beta \vee \neg \gamma )$

Tautologien sind.

Eine Lösung erstellen