Page 109 - 4196

2 Булеве рівняння із кількома невідомими
Розв’язок булевого рівняння у формі еквівалентно-
сті
F  ,A B ,...; , X Y ,...  F  ,A B ,...; , X Y ,... 
1 2
шукається за умови збігу елементів матриць лівої  та
ij
правої d частин булевого рівняння.
ij
Розглянемо для прикладу булеве рівняння
A X  B X Y  C  A  C  X  C X Y  B C.
(4.69)
Запишемо ліву і праву частину (4.69) у двійковій формі,
враховуючи, що елементи ,A , B C мають базис  ,Ab , B  C ,
а невідомі –  ,Xb Y  (таблиця 4.20).

Таблиця 4.20 Двійкова форма булевого рівняння (4.69)
( E - десятковий еквівалент)
10
ліва частина: A  X  B  X  Y  C
# A 0101 0101 # X 1010
# B 1100 1100 # X Y 0001
# C 1111 0000 I # 1111
E 6745 2301 E 5456
10 10
права частина: A  C  X  C  X Y  B C
# A  C  1010 1111 # X 0101
# C 1111 0000 # X  Y 0010
# B C 0000 0011 I # 1111
E 3232 1155 E 4565
10 10

Булеве рівняння (4.69) в матричній формі можна записа-
ти у вигляді
G 1 T ( , A , B C ) G 1  ,X Y  G T ( , A , B C ) G 2  ,X Y ,
2

109