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