Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Regel von de Morgan/2/Beweise/Aufgabe
Sprache
Beobachten
Bearbeiten
Man beweise mittels Wahrheitstabellen die (verallgemeinerten)
Regeln von de Morgan
, nämlich dass
(
α
∧
¬
(
β
∨
γ
)
)
↔
(
(
α
∧
¬
β
)
∧
(
α
∧
¬
γ
)
)
{\displaystyle {\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
(
α
∧
¬
(
β
∧
γ
)
)
↔
(
(
α
∧
¬
β
)
∨
(
α
∧
¬
γ
)
)
{\displaystyle {\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