Содержание
8 отношения: Конъюнктивный одночлен, Конъюнктивная нормальная форма, Совершенная дизъюнктивная нормальная форма, Совершенная конъюнктивная нормальная форма, Идемпотентность, Дистрибутивность, Дизъюнктивный одночлен, Литерал (математическая логика).
Конъюнктивный одночлен
Конъюнкти́вный одночле́н (элементарная конъюнкция, минте́рм) — в логике высказываний конъюнкция литералов (переменных и их отрицаний): где каждый l_i — литерал, то есть l_i.
Посмотреть Дизъюнктивная нормальная форма и Конъюнктивный одночлен
Конъюнктивная нормальная форма
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов.
Посмотреть Дизъюнктивная нормальная форма и Конъюнктивная нормальная форма
Совершенная дизъюнктивная нормальная форма
Соверше́нная дизъюнкти́вная норма́льная фо́рма (СДНФ) — это такая ДНФ, которая удовлетворяет трём условиям.
Посмотреть Дизъюнктивная нормальная форма и Совершенная дизъюнктивная нормальная форма
Совершенная конъюнктивная нормальная форма
Соверше́нная конъюнкти́вная норма́льная фо́рма (СКНФ) — это такая КНФ, которая удовлетворяет трём условиям.
Посмотреть Дизъюнктивная нормальная форма и Совершенная конъюнктивная нормальная форма
Идемпотентность
Идемпоте́нтность — свойство объекта или операции при повторном применении операции к объекту давать тот же результат, что и при первом.
Посмотреть Дизъюнктивная нормальная форма и Идемпотентность
Дистрибутивность
Дистрибути́вность (от distributivus «распределительный»), также распределительный закон — свойство согласованности двух бинарных операций, определённых на одном и том же множестве.
Посмотреть Дизъюнктивная нормальная форма и Дистрибутивность
Дизъюнктивный одночлен
Дизъюнкти́вный одночле́н (элементарная дизъюнкция, дизъюнкт, максте́рм, клауза от clause) — дизъюнкция литералов (переменных и их отрицаний): где каждый l_i — литерал, то есть l_i.
Посмотреть Дизъюнктивная нормальная форма и Дизъюнктивный одночлен
Литерал (математическая логика)
В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание.
Посмотреть Дизъюнктивная нормальная форма и Литерал (математическая логика)
Также известен как ДНФ.