Page 120 - 4196

f 1 A 1 ,..., A n ; K 1 ,..., K m  I ;

.......... .......... .......... .......... ....... (4.73)
f N A 1 ,..., A n ; K 1 ,..., K m  I .
Функції f 1 ,..., f повинні бути істинними одночас-
N
но, тому умови (4.73) після логічного множення можна
записати у вигляді
N
F 0 A 1 ,..., A n ; K 1 ,..., K m   i A 1 ,..., A n ; K 1 ,..., K m ,

f
i 1
N
де  f - кон’юнкція функцій f .
i i
i  1
Якщо булеву функцію F подати в досконалій
0
диз’юнктивній нормальній формі (ДДНФ), то кожний
елементарний добуток цієї форми містить значення іс-
тинності елементів A 1 ,..., A n ; K 1 ,..., K , при яких фун-
m
кція F істинна. Такі елементарні добутки складають
0
стовпці скороченого базису
b с A 1 ,..., A n ; K 1 ,..., K m .

Наприклад, припустимо, що на елементи
, A , B , C , D K 1 , K накладені апріорні зв’язки у вигляді
2
булевого рівняння
K  A  B D  A  B C D  A  C D 
1
(4.74 )
 K  A  B  C  D  A  B C D  A  C D  I
2
Подамо це рівняння в досконалій диз’юнктивній норма-
льній формі:

120