3. Замена симметричных переменных с использованием элементарных симметричных функций
В источнике [2] описаны три основных способа поиска симметричных переменных. В данной задаче их использование крайне трудоёмко и нерационально. Обратимся к аналитическому методу. Так как разрабатывается сумматор, то стоит обратить внимание на свойство суммы чисел – при перемене мест слагаемых сумма не меняется. Значит симметричными должны быть переменные , , . Воспользуемся заменой переменных с помощью элементарных симметричных функций.
Сделаем следующие замены:
1)
Таблица истинности замены – табл. 2. Набор переменных является запрещённым.
Табл. 2
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
2)
Таблица истинности замены – табл. 3. Набор переменных является запрещённым.
Табл. 3
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
3)
Таблица истинности замены – табл. 4. Набор переменных является запрещённым.
Табл. 4
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
Таблица соответствия кодов входных переменных заменённым представлена в табл. 5.
Табл. 5
№ |
|||||
1 |
111 |
111 |
000 |
111 |
* |
2 |
111 |
110 |
001 |
110 |
* |
3 |
111 |
101 |
010 |
101 |
* |
4 |
111 |
011 |
100 |
011 |
* |
5 |
110 |
111 |
001 |
110 |
* |
6 |
101 |
111 |
010 |
101 |
* |
7 |
011 |
111 |
100 |
011 |
* |
8 |
111 |
100 |
011 |
100 |
* |
9 |
111 |
010 |
101 |
010 |
* |
10 |
111 |
001 |
110 |
001 |
* |
11 |
110 |
110 |
000 |
110 |
101 |
12 |
110 |
101 |
011 |
100 |
100 |
13 |
110 |
011 |
101 |
010 |
010 |
14 |
101 |
110 |
011 |
100 |
100 |
15 |
101 |
101 |
000 |
101 |
011 |
16 |
101 |
011 |
110 |
001 |
001 |
17 |
100 |
111 |
011 |
100 |
* |
18 |
011 |
110 |
101 |
010 |
010 |
19 |
011 |
101 |
110 |
001 |
001 |
20 |
011 |
011 |
000 |
011 |
110 |
21 |
010 |
111 |
101 |
010 |
* |
22 |
001 |
111 |
110 |
001 |
* |
23 |
111 |
000 |
111 |
000 |
* |
24 |
110 |
100 |
010 |
100 |
011 |
25 |
110 |
010 |
100 |
010 |
001 |
26 |
110 |
001 |
111 |
000 |
000 |
27 |
101 |
100 |
001 |
100 |
010 |
28 |
101 |
010 |
111 |
000 |
000 |
29 |
101 |
001 |
100 |
001 |
110 |
30 |
100 |
110 |
010 |
100 |
011 |
31 |
100 |
101 |
001 |
100 |
010 |
32 |
100 |
011 |
111 |
000 |
000 |
33 |
011 |
100 |
111 |
000 |
000 |
34 |
011 |
010 |
001 |
010 |
101 |
35 |
011 |
001 |
010 |
001 |
100 |
36 |
010 |
110 |
100 |
010 |
001 |
37 |
010 |
101 |
111 |
000 |
000 |
38 |
010 |
011 |
001 |
010 |
101 |
39 |
001 |
110 |
111 |
000 |
000 |
40 |
001 |
101 |
100 |
001 |
110 |
41 |
001 |
011 |
010 |
001 |
100 |
42 |
000 |
111 |
111 |
000 |
* |
43 |
110 |
000 |
110 |
000 |
110 |
44 |
101 |
000 |
101 |
000 |
101 |
45 |
100 |
100 |
000 |
100 |
001 |
46 |
100 |
010 |
110 |
000 |
110 |
47 |
100 |
001 |
101 |
000 |
101 |
48 |
011 |
000 |
011 |
000 |
011 |
49 |
010 |
100 |
110 |
000 |
110 |
50 |
010 |
010 |
000 |
010 |
100 |
51 |
010 |
001 |
011 |
000 |
011 |
52 |
001 |
100 |
101 |
000 |
101 |
53 |
001 |
010 |
011 |
000 |
011 |
54 |
001 |
001 |
000 |
001 |
010 |
55 |
000 |
110 |
110 |
000 |
110 |
56 |
000 |
101 |
101 |
000 |
101 |
57 |
000 |
011 |
011 |
000 |
011 |
58 |
100 |
000 |
100 |
000 |
100 |
59 |
010 |
000 |
010 |
000 |
010 |
60 |
001 |
000 |
001 |
000 |
001 |
61 |
000 |
100 |
100 |
000 |
100 |
62 |
000 |
010 |
010 |
000 |
010 |
63 |
000 |
001 |
001 |
000 |
001 |
64 |
000 |
000 |
000 |
000 |
000 |
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.