Logik und Aussagen

Eine Aussage ist ein Sprachkonstrukt, das entweder wahr oder falsch ist. Für zwei Aussagen A und B existieren Verknüpfungen.

Verknüpfungen

Negation
: nicht
Implikation
: aus folgt
Äquivalenz
: und sind äquivalent (gleichwertig)
Konjunktion
: und
Disjunktion
: oder
Antivalenz (XOR)
: entweder oder .

Rechenregeln

Kommutativgesetz
Assoziativgesetz
Distributivgesetz
De Morgan
doppelte Negation
neutrales Element
inverses Element