Aussagenlogik/Regel von de Morgan/2/Beweise/Aufgabe

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

$(\alpha \wedge \neg (\beta \vee \gamma ))\leftrightarrow {\left((\alpha \wedge \neg \beta )\wedge (\alpha \wedge \neg \gamma )\right)}$

und

$(\alpha \wedge \neg (\beta \wedge \gamma ))\leftrightarrow {\left((\alpha \wedge \neg \beta )\vee (\alpha \wedge \neg \gamma )\right)}$

Tautologien sind.

Eine Lösung erstellen