Теоретические основы систем управления дискретного действия. Кузьмин А.В. - 56 стр.

UptoLike

Составители:

Рубрика:

2.7. ДВОЙСТВЕННОСТЬ И РАВНОЗНАЧНОСТЬ ФОРМУЛ БУЛЕВОЙ

АЛГЕБРЫ

Причем, если две формулы равносильны, то двойственные им

формулы также равносильны.

Указанные положения позволяют в ряде случаев упростить логиче-

ские формулы или их преобразование.

2.8. НОРМАЛЬНЫЕ ФОРМЫ

Дизъюнктивной нормальной формой (ДНФ) называется [2]

дизъюнкция конечного числа различных членов, каждый из которых

представляет собой конъюнкцию отдельных переменных или их отрицаний,

входящих в данный член не более одного раза, например

Конъюнктивной нормальной формой (КНФ) называется конъюнкция

конечного числа различных членов, каждый из которых представляет собой

дизъюнкцию отдельных переменных или их отрицаний, входящих в данный

член не более одного раза, например

Приведение булевых формул к нормальной форме проводится сле-

дующим образом:

1. С помощью законов де Моргана (2.14) формула преобразуется к

такому виду, чтобы знаки отрицания относились только к отдельным

переменным.