Page 126 - 4196

а) колонки несумісні, якщо хоча би в одному розря-
ді пари знаходяться протилежні значення істинності еле-
ментів: 0 і 1 або 1 і 0;
б) в усіх інших випадках колонки сумісні.
Розряди K ,..., K сумісних колонок в базисі
1 m
b c A 1 ,..., A r ; K 1 ,..., K m  і будуть відповідати шуканій
функції KG ,..., K . Якщо тепер додати відповідні до-
1 m
бутки елементів K у сумісних колонках, то в результаті
j
отримаємо в явній формі функцію KG ,..., K , яка від-
1 m
повідає тупиковій ДНФ.
Якщо повернутися до попереднього прикладу, то
базис Ab c 1 ,..., A r ; K 1 ,..., K m  для функції (4.80) і базис
b c F   A 1 , A 2 , A 3  для функції (4.81) будуть такими

A 1 2 3
1 1 0 X
A 1 X 1
2
A X 1 1
3
K 1 X 1
1
K X 1 1
2
b c A 1 , A 2 , A 3 ; K 1 , K 2 

1
2
A 1 1
1
A 1 X
2
A X 1
3
b A , A , A 
c 1 2 3

Сумісними являються усі можливі пари колонок
двох базисів за виключенням тих пар, до яких входить

126