Минимизация логических выражений методом Куайна (Квайна)

Если лог-ая ф-ия имеет 4 и более перем-х то минимизация с помощью склеивания оказывается недостаточной(появляются лишние импликанты, которые можно исключить из окончательного результата минимизации с помощью склеивания).

Пусть дана функция 4-х переем-х, которая имеет единичное значение на следующих наборах:

ƒ(2,5,6,7,10,12,13,14)=1

Таблица истинности:

=( /\ /\ )\/( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )\/( /\ /\ )\/( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )=

( /\ )\/( /\ )\/( /\ /\ )\/( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )=

( /\ )\/ ( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ )\/ ( /\ /\ ).

Метод Куайна: необходимо выбрать минимум строк, кот-е перекрывают все столбцы.

~ ~ 1 0
0 1 ~ 1
~ 1 0 1
0 1 1 ~
1 1 0 ~
1 1 ~ 0

=( /\ )\/ ( /\ /\ )\/ ( /\ /\ ).

Проверка:

( /\ ) \/ ( /\ /\ )

\/ = . Проверка верна!

( /\ /\ )