Page 102 - 4196

# F  1001 0001

f #  0000 0001 .
Функція f  1  ,A , B C ,...  називається першою імплі-
 1
кантою функції  ,AF , B C ,... , якщо f  F і не існує

іншої  ,Af  , B C ,...  такої, щоf  і f  1  f.
F
Наприклад, для булевої функції
F  A  B  C  A  B C  A  B C  A  B C
після перетворень маємо
F  A  B  C  A  B C  A  B  C  A  B  C 

 A  B C  A  B C  A  C  A  B  B C  A  B  B . C

Тоді: 1) A ; C A ; B B C - імпліканти;
2) A  C - несуттєва імпліканта (див. правило 13);
3) ; A ; B ; B C - не імпліканти;
4) A ; C A ; B B C - перші імпліканти.

1 2 3 4 5 6 7 8
# F  ,A , B C ,...   10 1 1 0 1 0 0

 A#  B  0100 0100

f   1  B#  C  0011 0000

 # A  C  0101 0000

Логічна незалежність булевих функцій
Булеві функції F 1  ,A B ,... ,..., F n  ,A B ,...  являються
логічно незалежними, якщо вони утворюють по стовпцям
n
n
усі 2 чисел: 1,0 2 , ,..., 2  , 1 і логічно залежними – в ін-
шому випадку.
Наприклад, булеві функції F  A B A  B і
1
F  B незалежні, оскільки
2
102