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.“