Page 104 - 4196

Знаходження логічного зв’язку між булевими фун-
кціями
Для набору  ,Af 1 B ,..., ,..., f n  ,A B ,...  залежних бу-
левих функцій можна знайти явну форму логічного
зв’язку у вигляді
F  ,...,f 1 f n  I ,
де I#  111 11 ....
Для цього необхідно:
1) в базисі  ,Ab B ,...  записати рядками подання на-
бору булевих функцій в двійковій формі
f # 1  ......

f # 2  ......
f #  ......;
n
2) визначити, які числа відсутні в десяткових екві-
валентах стовпців набору;
3) функція F#  ,...,f 1 f n  в базисі  ,...,fb 1 f n  буде ма-
ти нулі у тих розрядах, які відповідають відсутнім чис-
лам п. 2;
4) відповідно до F#  ,...,f 1 f n  записують форму ло-
гічної залежності  ,...,fF f  I ;
1 n
5) перевірка отриманої залежності шляхом підста-
новки значень # f  ,A B ,... ,..., f #  ,A B ,...  в отриману
1 n
залежність.
Приклад 4.8 Знайти явну форму логічної залежнос-
ті булевих функцій:
f  A  C  B C
1
f  A  B  B C
2
f  . A
3
Запишемо послідовно рядки функцій в базисі  ,Ab , B  C

104