作者:Роман Есин 8 年以前
306
更多类似内容
Форма представления
Инвертор
Дизъюнктор
Конъюнктор
Стандартные формы представления
Дизъюнктивная нормальная форма
Совершенная дизнъюнктивная нормальная форма
Элементраный конъюнкт
Конъюнктивная нормальная форма
Совершенная конъюнктивная нормальная форма
Элементраный дизъюнкт
Классы логических формул
Тождественно-истинные формулы
Тождественно-ложные формулы
Опровержимые формулы
Выполнимые формулы
Эквивалентные формулы
Логическое следствие
Подформула
Замкнутые классы
Самодвойственные
Монотонные
Линейные
Сохраняющие 1
Сохраняющие 0
Признаки функциональной полноты
II признак функциональной полноты
I признак функциональной полноты
Суперпозиция булевых функция
Базис
Двойное отрицание
Правила де Моргана
Свойства констант
Идемпотентность
Коммутативность
Дистрибутивность
Ассоциативность
Дихотомическое деление