Логичный НИ

• Логическое NOR — функциональный оператор истинности в булевой логике, отрицающий логическое OR. 
• Предложение вида (p ИЛИ q) истинно, когда ни p, ни q не являются истинными. 
• Логическое NOR эквивалентно ¬(p ∨ q) и ¬p ∧ ¬q. 
• Неразрывность обычно обозначается как ↓ или ∨¯ или X (префикс) или ни. 
• Оператор NOR используется в логическом элементе Apollo, навигационном компьютере, который доставил людей на Луну. 
• Логический NOR является отрицанием дизъюнкции и функционально полным набором связок. 
• Все остальные логические операторы могут быть выражены чересстрочными операциями NOR.