Дизъюнкти́вный одночле́н (элементарная дизъюнкция, дизъюнкт, максте́рм, клауза от ) — дизъюнкция литералов (переменных и их отрицаний): , где каждый — литерал, то есть или .
Может принимать ложное значение только при единственном из всех возможных наборов значений переменных, входящих в него. Если содержит одновременно переменную и её отрицание, то всегда даёт истинное значение.
Примеры:
Дизъюнкция ассоциативна, поэтому внутри одночленов скобки не пишутся.
Всякая булева формула может быть представлена как конъюнкция дизъюнктивных одночленов (конъюнктивная нормальная форма).
Важный класс дизъюниктивных одночленов — хорновские дизъюнкты, состоящие из не более, чем одного положительного литерала.
Примечания
Ссылки Логика высказываний
Категория:Булева алгебра Категория:Математическая логика