Variable, die durch den Junktor ↓ mit einander verknüpft sind, führen zu einer Aussage, die nur dann wahr ist, wenn beide Aussagen für sich falsch sind, in jedem anderen Fall ist sie unwahr. In der Schaltungslogik wird eine solche Operation NOR genannt.
Mit dem Peirce-Symbol (Charles Sanders PEIRCE, 1839 - 1914) wird die negierte Disjunktion ausgedrückt.
Wahrheitstafel:
| A | B | A ↓ B | ¬(A ∨ B) |
| 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
Zu lesen als: „weder A noch B“.