The NOR connective ↓ (Peirce arrow). p ↓ q is true exactly when both p and q are false. Like NAND, NOR is functionally complete on its own.
The NOR connective ↓ (Peirce arrow). p ↓ q is true exactly when both p and q are false. Like NAND, NOR is functionally complete on its own.