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).