Sheffer-Symbol (|)

Variable, die durch den Junktor | mit einander verknüpft sind, führen zu einer Aussage, die nur dann falsch ist, wenn beide Aussagen für sich wahr sind, sonst ist sie wahr. Mit dem Sheffer-Symbol (H. M.Sheffer, 1883 - 1964) wird die negierte Konjunktion ausgedrückt. In der Schaltungslogik wird eine solche Operation NAND genannt.

Wahrheitstafel:

A B A|B ¬(A ∧ B)
1 1 0 0
0 1 1 1
1 0 1 1
0 0 1 1

Zu lesen als: „Nicht sowohl A als auch B.“