Cтраница 2
Продолжая аналогично, мы сможем в каждую элементарную дизъюнкцию ввести все недостающие в ней переменные, после чего форма г ] з превратится в совершенную. [16]
Пусть D - множество, состоящее из всех монотонных элементарных дизъюнкций, а Ж - множество, состоящее из всех монотонных элементарных конъюнкций. [17]
Последовательным применением преобразования ( 30) к каждой элементарной дизъюнкции КНФ и ко всем переменным, не входящим в дизъюнкцию, образуется ККФ, соответствующая заданной КНФ. [18]
Дизъюнкция любого числа первичных термов равна либо единице, либо элементарной дизъюнкции. Произведение любого числа первичных термов равно либо нулю, либо элементарному произведению. [19]
Эти формы представляют собой лишь дизъюнкции элементарных конъюнкций или конъюнкции элементарных дизъюнкций. [20]
Две СКНФ считаются равными, если они состоят из равных множеств полных элементарных дизъюнкций. [21]
Конъюнктивная совершенная нормальная форма отвечает следующим требованиям: в ней нет двух одинаковых элементарных дизъюнкций; ни одна дизъюнкция в ней не содержит двух одинаковых переменных; ни одна дизъюнкция не содержит переменную вместе с ее отрицанием; все дизъюнкции одного ранга. [22]
Следовательно, по таблице истинности для той или иной ФАЛ можно составить конъюнкцию элементарных дизъюнкций, которые отвечают нулевым наборам данной ПФ. [23]
Если е1 считать за переменную, то выражение ГЩу - представляет собой конъюнкцию элементарных дизъюнкций и при этой интерпретации утверждается, что НЕ - - 1 тогда и только тогда, когда Т образует тест. [24]
Q ( M), переменными которой являются номера строк матрицы М 2, а элементарные дизъюнкции соответствуют ее столбцам и включают в себя номера строк, имеющих единицы на пересечении с данным столбцом. [25]
Показать, что необходимым и достаточным условием тождественного равенства КНФ единице является наличие в каждой элементарной дизъюнкции некоторой переменной вместе с ее отрицанием. [26]
Vxjr наз элементарной дизъюнкцией ранга г, если все переменные в ней различны; 0 считается элементарной дизъюнкцией нулевого ранга. [27]
Дизъюнктивная ( соответственно конъюнктивная) нормальная форма называется совершенной, если все составляющие ее элементарные произведения ( соответственно элементарные дизъюнкции) являются конституентами единицы ( соответственно конституентами нуля) для одного и того же множества М переменных. [28]
JV, A U Li / 0, А П L 0, то есть Vi является элементарной дизъюнкцией. [29]
Дизъюнкция g ( x1, х2, xa, xt) - х / xa / xt является элементарной дизъюнкцией 3-го ранга. [30]