Interested Article - Дизъюнктивный одночлен
![](/images/006/726/6726830/1.jpg?rand=69427)
![](https://cdn.wafarin.com/avatars/e138a894a90e463ca0157ab708db5256.gif)
- 2020-03-23
- 1
Дизъюнкти́вный одночле́н ( элементарная дизъюнкция , дизъюнкт , максте́рм , клауза от англ. clause ) — дизъюнкция литералов (переменных и их отрицаний ):
- ,
где каждый — литерал, то есть или .
Может принимать ложное значение только при единственном из всех возможных наборов значений переменных, входящих в него. Если содержит одновременно переменную и её отрицание, то всегда даёт истинное значение.
Примеры:
Всякая булева формула может быть представлена как конъюнкция дизъюнктивных одночленов ( конъюнктивная нормальная форма ).
Важный класс дизъюниктивных одночленов — хорновские дизъюнкты , состоящие из не более, чем одного положительного литерала.
Примечания
- Конъюнкция ассоциативна , поэтому внутри одночленов скобки не пишутся.
Ссылки
![](https://cdn.wafarin.com/avatars/e138a894a90e463ca0157ab708db5256.gif)
- 2020-03-23
- 1