Инсульт Шеффера

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

  • Булева алгебра и логическая функция используются для описания операций с логическими значениями. 
  • Логическая операция NAND (неконъюнкция) эквивалентна отрицанию соединения и обозначается различными символами. 
  • NAND является функционально завершенным, что делает его важным для цифровой электроники. 

• Определение и таблица истинности

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

• Эквивалентности и обозначения

  • Удар Шеффера эквивалентен отрицанию соединения и может быть выражен различными способами. 
  • В истории логики использовались разные обозначения для NAND, включая D в польской нотации. 

• История и свойства

  • Генри Морис Шеффер ввел штрих Шеффера в 1913 году, доказав его функциональную полноту. 
  • NAND не обладает некоторыми свойствами, которые должны быть присущи функционально полным операторам. 

• Применение и дальнейшие чтения

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