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

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

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

und

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

Tautologien sind.

Eine Lösung erstellen