16. Минимизация функций аналитическим способом.

Минимизацию будем проводить для функций  K3, D1.

Сначала проведём минимизацию для K3, выпишем из таблицы функционирования конечного автомата все наборы на которых функция равна 1, и получим совершенную дизъюнктивную форму  K3.

K3= Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v

v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v

v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v

v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1 v Q3Q2Q1x2x1

Проведём все возможные склеивания:

(1-2) Q3Q2Q1x2 (  x1 v x1) ; (1-3) Q3Q2Q1x1 (  x2 v x2) ; (1-11) Q2Q1x2x1 ( Q3 v Q3);

(2-4) Q3Q2Q1x1 (  x2 v x2) ; (2-12) Q2Q1x2x1 ( Q3 v Q3); (3-4) Q3Q2Q1x2 (  x1 v x1);

(3-5) Q3Q2x2x1 ( Q1 v Q1); (3-13) Q2Q1x2x1 ( Q3 v Q3); (4-6) Q3Q2x2x1 ( Q1 v Q1);

(4-14) Q2Q1x2x1 ( Q3 v Q3); (5-6) Q3Q2Q1x2 (  x1 v x1) ; (5-9) Q3Q1x2x1 ( Q2 v Q2);

(5-15) Q2Q1x2x1 ( Q3 v Q3); (6-10) Q3Q1x2x1 ( Q2 v Q2);(6-16) Q2Q1x2x1 ( Q3 v Q3);

(7-8) Q3Q2Q1x2 (  x1 v x1) ; (7-9) Q3Q2Q1x1 (  x2 v x2) ; (7-17) Q2Q1x2x1 ( Q3 v Q3);

(8-10) Q3Q2Q1x1 (  x2 v x2);(8-18) Q2Q1x2x1 ( Q3 v Q3);(9-10) Q3Q2Q1x2 (  x1 v x1);

(9-19) Q2Q1x2x1 ( Q3 v Q3);(10-20) Q2Q1x2x1 ( Q3 v Q3);(11-12)Q3Q2Q1x2 (  x1 v x1);

(11-13) Q3Q2Q1x1 (  x2 v x2);(12-14) Q3Q2Q1x1 (  x2 v x2);(13-14) Q3Q2Q1x2 ( x1 v x1);

(13-15) Q3Q2x2x1 ( Q1 v Q1);(14-16) Q3Q2x2x1 ( Q1 v Q1);(15-16)Q3Q2Q1x2 ( x1 v x1);

(15-19) Q3Q1x2x1 ( Q2 v Q2);(16-20) Q3Q1x2x1 ( Q2 v Q2);(17-18)Q3Q2Q1x2 ( x1 v x1);

(17-19) Q3Q2Q1x1 (  x2 v x2) ;(18-20) Q3Q2Q1x1 (  x2 v x2);(19-20)Q3Q2Q1x2 ( x1 v x1).