Cтраница 2
Согласно теореме 5.4 они имеют одну и ту же совершенную дизъюнктивную нормальную форму ср. [16]
Представление (1.3) есть обобщение хорошо известного представления булевых функций в виде совершенной дизъюнктивной нормальной формы. [17]
У) - Заметим, наконец, что посредством ферродиодных дроссельных элементов совершенная дизъюнктивная нормальная форма реализуется ( как и на ферротрансформаторных элементах) за два такта. [18]
О п р е д е л е н и е 2.13. Совершенной дизъюнктивной нормальной формой ( СДНФ) относительно переменных хг. [19]
Такая дизъюнкция всех элементарных конъюнкций, для которых рассматриваемая формула истинна, называется совершенной дизъюнктивной нормальной формой. [20]
Если 91 тождественно ложна, то все слагаемые будут удалены и мы не получим совершенной дизъюнктивной нормальной формы. [21]
Поскольку, однако, zx и z2 зависят от одних и тех же аргументов, совершенная дизъюнктивная нормальная форма для z m содержит не более 2т конъюнкций. [22]
Пусть обе функции - zx и z2 - заданы таблицами или формулами, приведенными к совершенной дизъюнктивной нормальной форме. [23]
Действительно, в качестве формулы, представляющей любую данную булеву функцию /, можно выбрать ее совершенную дизъюнктивную нормальную форму. [24]
Сокращенная дизъюнктивная нормальная форма является, вообще говоря, более экономным способом представления булевой функции, чем совершенная дизъюнктивная нормальная форма. Однако в большинстве случаев она допускает дальнейшие упрощения за счет того, что некоторые из простых импликант могут поглощаться дизъюнкциями других простых импликант. [25]
С помощью соотношений ( 10) - ( 30) любая формула булевой алгебры может быть приведена к совершенной дизъюнктивной нормальной форме. [26]
Если формула, подлежащая минимизации, дана в сокращенной дизъюнктивной нормальной форме, она должна быть сведена к совершенной дизъюнктивной нормальной форме, чтобы можно было применить описанную выше технику минимизации. Этот метод представляет определенную ценность, но не всегда является лучшим, чем только что иллюстрированный, так как в некоторых случаях простейший способ отыскания конъюнкций, не удовлетворяющих описанной проверке, которые войдут в минимальное выражение, состоит в преобразовании исходного выражения в дизъюнктивную совершенную нормальную-форму. [28]
Если элементарные конъюнкции, входящие в дизъюнктивную нормальную форму, содержат все я переменных, то последняя называется совершенной дизъюнктивной нормальной формой. [29]
Второе замечание касается того, что способ преобразования формулы А в эквивалентную ей формулу В через общую для них совершенную дизъюнктивную нормальную форму g нужен был нам лишь для установления принципиальной возможности перехода от А к В. [30]