Дизъюнктивные и конъюнктивные нормальные формы
Если 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,
|
Пример 1-2. Пусть требуется представить в виде таблицы следующую функцию: & .
Будем вычислять функцию последовательно.
[ ] | { } | ||||||||
0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 |
0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 |
1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
|
|