Всем теоремам булевой алгебры, кроме двойного отрицания, присуще свойство симметрии, те принцип двойственности Что это означает

  • Означает равнозначность логических операций
  • Что теоремы можно распространить на любое число переменных
  • Что теоремы могут быть доказаны методом совершенной индукции
  • Одновременную выполнимость логическими выражениями идемпотентности, ассоциативности, дистрибутивности, коммутативности
  • Означает, что теоремы представлены парой соотношений, в которых одно получается из другого заменой всех операций И на ИЛИ и наоборот

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.