Постановка задачи.
Минимизировать переключательную функцию шести аргументов:
методом Квайна, доопределив функцию нулями;
с использованием карт Карно, доопределив функцию единицами;
методом исчисления кубических покрытий, не проводя доопределений исходной функции;
построить таблицу истины исходной функции, функции, полученной методом Квайна, методом карт Карно, методом кубических покрытий. Проанализировать полученные результаты, дать их оценку.
Исходная функция задана в виде наборов значений аргументов, на которых функция принимает единичные значения и те наборы значений аргументов, на которых значение функции не определено.
Y=(3C)v(25)v(C)v(21)v(12)v(1E)v(28)v(34)v(31)v(3D)v(8)v(1A)v1Cv27v26vAv29v36v10v7v5v22v1v2Cv1Bv23v3Fv3v18v4v11v0v1Dv6v37v2Bv20v38v24v9v 15v14v3Bv19v1Fv2D
на (xx) наборах значение функции неопределенно.
Таблица истинности исходной функции
№ |
X1 |
X2 |
X3 |
X4 |
X5 |
X6 |
F |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
2 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
3 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
4 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
5 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
6 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
7 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
8 |
0 |
0 |
1 |
0 |
0 |
0 |
? |
9 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
A |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
B |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
C |
0 |
0 |
1 |
1 |
0 |
0 |
? |
D |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
E |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
F |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
10 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
11 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
12 |
0 |
1 |
0 |
0 |
1 |
0 |
? |
13 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
14 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
15 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
16 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
17 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
18 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
19 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1A |
0 |
1 |
1 |
0 |
1 |
0 |
? |
1B |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1C |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1D |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1E |
0 |
1 |
1 |
1 |
1 |
0 |
? |
1F |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
20 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
21 |
1 |
0 |
0 |
0 |
0 |
1 |
? |
22 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
23 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
24 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
25 |
1 |
0 |
0 |
1 |
0 |
1 |
? |
26 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
27 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
28 |
1 |
0 |
1 |
0 |
0 |
0 |
? |
29 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
2A |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
2B |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
2C |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
2D |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
2E |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
2F |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
30 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
31 |
1 |
1 |
0 |
0 |
0 |
1 |
? |
32 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
33 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
34 |
1 |
1 |
0 |
1 |
0 |
0 |
? |
35 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
36 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
37 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
38 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
39 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
3A |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
3B |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
3C |
1 |
1 |
1 |
1 |
0 |
0 |
? |
3D |
1 |
1 |
1 |
1 |
0 |
1 |
? |
3E |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
3F |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
? – на данном наборе значение функции не определено.