Page 130 - 4196
P. 130
Розв’язання. Згідно вихідних даних можна записати
булеві функції
E A 1 ,..., A 6 ; K 1 , K 2 K 1 A A A K A A A
5
1
2
2
6
3
4
K K A A A A A A 6 1 ,
3
2
1
2
5
1
4
F A 1 ,..., A 6 A 1 A 2 A 3 A 4 A 5 A 6 .
Запишемо базиси Eb c і Fb c :
A 1 2 3 4 5
1
1 X 1 X X
A
2
X 1 1 X X
A 1 X X 1 X
3
A X 1 X 1 X
4
A 1 X X X 1
5
A X 1 X X 1
6
K 1 X 1 1 1
1
K X 1 1 1 1
2
b c E
1 2 3 4 5 6 7 8
A 0 0 0 0 X X X X
1
A X X X X 1 1 1 1
2
A 1 1 X X 1 1 X X
3
A X X 1 1 X X 1 1
4
A 1 X 1 X X 1 1 X
5
A X 1 X 1 1 X X 1
6
b F
c
Як це видно з попереднього прикладу для знахо-
дження наслідків G K 1 , K 2 достатньо для стовпця з
130