Cтраница 2
Распределение элементарных конъюнкций системы 0 для их реализации на промежуточных шинах различных ПЛМ осуществляется произвольным образом. [16]
Совокупность полученных элементарных конъюнкций описывает всю область запрета О: любой ее элемент принадлежит хотя бы одному из интервалов, задаваемых этими конъюнкциями. О - такой булевой функции, которая принимает значение 1 на множестве U и значение 0 на дополнительном множестве U. Каждый ее член представляет собой простую импликанту - элементарную конъюнкцию со следующими двумя свойствами: во-первых, она имплицирует функцию ф ( если конъюнкция принимает значение 1, то и функция тоже), во-вторых, она не имплицирует никакой другой конъюнкции, обладающей первым свойством. Если в ДНФ входят все простые импликанты ( как в данном случае), она называется сокращенной. [17]
Для реализации элементарной конъюнкции требуется п контактов. [18]
Дизъюнкцию D элементарных конъюнкций назовем тупиковой относительно элементарной конъюнкции К, если D поглощает К ( см. раздел 2), а дизъюнкция, получающаяся из D при удалении любой конъюнкции, уже не поглощает К. [19]
В этом случае элементарные конъюнкции, соответствующие граням размерности 2, содержат три переменные. [20]
Очевидно, что полные элементарные конъюнкции являются элементарными конъюнкциями. [21]
Такая дизъюнкция всех элементарных конъюнкций, для которых рассматриваемая формула истинна, называется совершенной дизъюнктивной нормальной формой. [22]
Конституентой единицы называем элементарную конъюнкцию, содержащую все переменные алгебры конечных предикатов. [23]
В столбце 1 записаны элементарные конъюнкции из столбца X ( am, as) табл. 8.8. В столбце 2 из этих конъюнкций удалена переменная х, а в столбце 3 - переменные х, х з, хы. [24]
Над частью аргументов, элементарных конъюнкций, произведений конъюнкций и выше окажутся знаки инверсии. [25]
Число г называется рангом элементарной конъюнкции. [26]
После этого переходят к следующей элементарной конъюнкции. [27]
Число аргументов, образующих элементарную конъюнкцию или дизъюнкцию, является ее рангом. [28]
В качестве частного здесь используются элементарные конъюнкции. [29]
Элементам куба поставим в соответствие элементарные конъюнкции различного ранга. На рис. 1.2 вершинам куба сопоставлены конъюнкции третьего ранга, ребрам - второго ранга, граням - первого ранга. При этом каждый геометрический эквивалент меньшей размерности покрывается соответствующими геометрическими эквивалентами большей размерности. [30]