Логичный НИ

• Основы логического исчисления

  • Логическое NOR — это оператор, который отрицает логическое ИЛИ. 
  • В булевой логике NOR выдает значение true, когда оба операнда ложны. 
  • В таблице истинности NOR эквивалентно отрицанию дизъюнкции. 

• История и обозначения

  • Пирс первым продемонстрировал функциональную полноту NOR. 
  • Штамм, Шеффер, Уэбб и Куайн внесли свой вклад в описание и функциональную завершенность NOR. 
  • В разных источниках используются различные обозначения для NOR, включая «стрелка вниз» и «X». 

• Свойства и функциональность

  • NOR не обладает свойствами сохранения истинности, ложности, линейности и монотонности. 
  • NOR является функционально полным набором связок, что можно доказать с помощью таблицы истинности. 
  • NOR позволяет выразить все другие логические операторы через себя и NAND. 

• Дополнительные сведения

  • В статье также упоминаются побитовое NOR, булева алгебра, логический домен и другие связанные понятия.