Page 125 - 4196

Тобто логічним наслідком функції (4.81) буде функція
G  G  G  K  K  K  . 1
2
1
1
1
1
Це означає, що із істинності співвідношення
F A , A , A  A  A  A  A  1 слідує істинність
1 2 3 1 2 1 3
K : AA 1 2  A 3  K , що свідчить про те, що пласт П
1
1
1
- продуктивний.
Для знаходження наслідків, які випливають із де-
яких заданих посилань, можна скористатися іншим при-
йомом, який базується на побудові скороченого базису
b c A 1 ,..., A r ; K 1 ,..., K m , колонки якого відповідають
окремим елементарним добуткам функції
E A ,..., A ; K ,..., K .
1 r 1 m
При побудові скороченого базису трансформуємо
кожний елементарний добуток функції
E A 1 ,..., A r ; K 1 ,..., K m  у колонку базису за правилами:

а) замість елементів A i , K у добутку ставимо оди-
j
ницю;
б) замість елементів A i , K у добутку ставимо
j
нуль;
в) замість відсутніх елементів у добутку ставимо
позначку X , яка може мати значення 0 або 1.
Аналогічним чином трансформується функція
F A 1 ,..., A r  у колонки, які відповідають елементарним
добуткам цієї функції.
Для вибору колонок базису b , які сумісні зі зна-
c
ченнями істинності елементів функції F, необхідно по-
розрядно порівняти усі можливі пари колонок (одна від
базису b , інша від функції F) за наступними правила-
c
ми:

125