- Конъюнктивный одночлен
-
Конъюнкти́вный одночле́н (минте́рм) от переменных — конъюнкция этих переменных или[1] их отрицаний.
Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборов аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то он всегда равен 0.
Примеры
Примечания
- ↑ Здесь «или» имеет неисключающий смысл, то есть в конъюнктивный одночлен могут входить одновременно переменная и её отрицание.
- ↑ Конъюнкция ассоциативна, поэтому внутри одночленов скобки не пишутся.
См. также
- Дизъюнктивный одночлен
- Совершенный одночлен
- Конъюнктивная нормальная форма
- Булева алгебра
- Алгебра логики
В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.
Эта отметка установлена 13 мая 2011.Категории:- Булева алгебра
- Математическая логика
Wikimedia Foundation. 2010.