Cтраница 1
Элементарная дизъюнкция ( макстерм) образуется дизъюнкцией конечного множества логических переменных и их отрицаний. [1]
Элементарные дизъюнкции ( соответственно конъюнкции) называют конституентами нуля ( соответственно конституентами единицы) для данного множества аргументов булевых переменных, если они содержат в прямом или инверсном виде все переменные множества. [2]
Элементарными дизъюнкциями ( конъюнкциями) называют дизъюнкции ( конъюкции) любого конечного подмножества аргументов ( элементарных логических переключательных функций), содержащих прямые значения функций или их отрицания. [3]
В элементарные дизъюнкции записать иеинвертяроватшмн переменные, заданные нулем, а инвертированными - те переменные, которые заданы единицей. [4]
Удаляем элементарные дизъюнкции, в которые какая-либо переменная входит вместе со своим отрицанием. [5]
К числу элементарных дизъюнкций мы будем относить также выражения, состоящие из одной буквы ( с отрицанием или без отрицания), а также константу нуль. Считается, что в первом случаемы имеем дело с дизъюнкцией одного члена, во втором - с дизъюнкцией пустого множества членов. [6]
Если в элементарную дизъюнкцию некоторая переменная входит несколько раз одинаковым образом ( или во всех случаях с отрицанием, или во всех случаях без него), то мы оставляем только одно вхождение. [7]
F является элементарной дизъюнкцией. [8]
Vxjr наз элементарной дизъюнкцией ранга г, если все переменные в ней различны; 0 считается элементарной дизъюнкцией нулевого ранга. [9]
Элементарные конъюнкции ( соответственно элементарные дизъюнкции) называются конституентами единицы ( соответственно нуля), если они содержат все переменные функции. [10]
Если имеется несколько одинаковых элементарных дизъюнкций, то мы оставляем только одну. [11]
К, в которой элементарные дизъюнкции соответствуют столбцам таблицы и включают в качестве слагаемых символы тех функций, которые не входят в класс, соответствующий столбцу. [12]
V - V n называется элементарной дизъюнкцией. [13]
V / vc), является элементарной дизъюнкцией, условия 3), 4), 6) теоремы 7 могут быть упрощены. [14]
Будем говорить, что формула Ф есть элементарная дизъюнкция, если каждый дизъюнк-тивный член Ф есть либо атомарная формула, либо отри цание атомарной формулы. Будем говорить, что форму - ла Ф находится в конъюнктивной нормальной форме ( к. [15]