Junktion

Junktion

Junktion ist ein Begriff in der Ausssagenlogik. Die Negation und die zweistelligen Verknüpfungen bezeichnet man als Junktion.
Die Symbole für die Junktionen heißen Junktoren.
In der Aussagenlogik gibt es neben dem einstelligen Junktor ¬ (Negation) die zweistelligen Junktoren Λ , v, → und ↔, die mit den Worten (‘und’, ‘oder’, ‘wenn …dann’, ‘genau dann wenn’) umschrieben werden.

Es gibt u. a. noch:
NAND - Symbol ist A | B . Der Strich wird als Shefferscher Strich bezeichnet. Sheffer wies nach, dass alle Junktionen durch eine geeignte Kombination von NAND's ersetzt werden können. Damit ist es möglich durch die Verwendung eines Typs von Logigbaustein (NAND-Gatter) alle Logikabfragen zu realisieren.
NOR ¬ A Λ ¬ B
XOR umgangssprachlich das entweder oder.