por Роман Есин 8 anos atrás
314
Mais informações
Форма представления
Инвертор
Дизъюнктор
Конъюнктор
Стандартные формы представления
Дизъюнктивная нормальная форма
Совершенная дизнъюнктивная нормальная форма
Элементраный конъюнкт
Конъюнктивная нормальная форма
Совершенная конъюнктивная нормальная форма
Элементраный дизъюнкт
Классы логических формул
Тождественно-истинные формулы
Тождественно-ложные формулы
Опровержимые формулы
Выполнимые формулы
Эквивалентные формулы
Логическое следствие
Подформула
Замкнутые классы
Самодвойственные
Монотонные
Линейные
Сохраняющие 1
Сохраняющие 0
Признаки функциональной полноты
II признак функциональной полноты
I признак функциональной полноты
Суперпозиция булевых функция
Базис
Двойное отрицание
Правила де Моргана
Свойства констант
Идемпотентность
Коммутативность
Дистрибутивность
Ассоциативность
Дихотомическое деление