Элементарная конъюнкция

Cтраница 4

Последовательным применением преобразования ( 29) к каждой элементарной конъюнкции и ко всем переменным, не входящим в конъюнкции, образуется ДКФ функции, заданной своей ДНФ. [46]

ДНФ называется правильной, если для каждой ее элементарной конъюнкции выполнено следующее условие: все буквы переменных, встречающиеся в этой элементарной конъюнкции, различны. [47]

Формулы, тождественно равные единице. [48]

Дизъюнктивная нормальная форма выражения А представляет собой дизъюнкцию элементарных конъюнкций, для которых значение Л ложно. [49]

Напомним, что дизъюнкция piVp2V - / Рь элементарных конъюнкций Pi поглощает элементарную конъюнкцию р, если формула p - piVpaV VP & есть функция, тождественно равная единице. [50]

Следовательно, функция в СДНФ состоит из четырех элементарных конъюнкций третьего ранга. [51]

Таким образом, каждому интервалу булева пространства М соответствует своя элементарная конъюнкция, оказывающаяся характеристической функцией интервала. Она принимает значение 1 на элементах интервала и О за его пределами. [52]

Страницы: 1 2 3 4