Аналитические формы представления ФАЛ

Дизъюнктивные и конъюнктивные нормальные формы

Если x – логическая переменная, , то выражение называется литерой.

Элементарной конъюнкцией (конъюнктом) называется конъюнкция литер.

Элементарной дизъюнкцией (дизъюнктом) называется дизъюнкция литер.

=x p/z y x p z x y z,

=p y y/x z p y z,

=p/z x y y p (x y z),

=y z p x z p y/y z,

=z y p x z p z y/x,

=x/y p x z x y z x z,

=z y x z p x z/y p,

=y z p x z p y/p z,

=p x/z y p z y z x,

=x/y z p x y z p y z,

=z p y z x p y z/x,

=x/z y x z p y p,

=x y x p x/y z p z,

=p/z y x p z y z x,

=y z p x x y/z x y p,

=z/x y p x y z x p,

=x y z p/x y x z (y p),

=x/z p x p x z p y,

=x/z y p x y z p/x z,

=y/p x y p z x z x,

=p y z p y z/x p,

=p z y z p/x z y x,

=x y z x y z y p/x,

=z/x p y x y z x p,

=y x z p y x y z/x p,

=z y x/y z x y z p,

=x y z x p y/z x y,

=x y z p x y/x z y,

=p x y/z p y x z y p.

Пример 1-2. Пусть требуется представить в виде таблицы следующую функцию: & .

Будем вычислять функцию последовательно.