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