Grundlagen - Aussagenlogik
Konjunktion, Disjunktion und Kontravalenz verknüpfen zwei Aussagen miteinander.
Die Konjunktion verbindet zwei Aussagen mit und.
A∧BA \land BA∧B ist nur wahr, wenn AAA und BBB wahr sind.
Die Disjunktion verbindet zwei Aussagen mit oder.
A∨BA \lor BA∨B ist wahr, wenn mindestens eine der Aussagen wahr ist.
Die Kontravalenz verbindet zwei Aussagen mit entweder oder.
A⊕BA \oplus BA⊕B oder A⊻BA \veebar BA⊻B ist wahr, wenn genau eine der Aussagen wahr ist.