8Einfache Äquivalenzen (in Arbeit)
Jetzt kannst du einfache Regeln aufstellen. w soll dabei eine wahre, f eine falsche Aussage bedeuten.
Idempotenz
A∧A⇔A und A∨A⇔A
Absorbtion
A∧w⇔A und A∨w⇔w
A∧f⇔f und A∨f⇔A
Diese Regeln kannst du direkt einsehen, aber auch zur Übung mit einer Wahrheitswerttabelle beweisen.
Diese Regeln kennst du schon, sie sind hier nur zur Vollständigkeit noch einmal aufgeschrieben:
Kommutativgesetze
A∨B⇔B∨A und A∧B⇔B∧A
Assoziativgesetze
(A∧B)∧C⇔A∧(B∧C) und (A∨B)∨C⇔A∨(B∨C)
Weitere Regeln
A∨¬A⇔w
A∧¬A⇔f
