
С2. МОИ. Презентации / Булевы функции 5 (v. 1.1)
.pdf
|
Теорема Поста |
Но если для |
f0 T0 помимо равенства |
|
f0 (0,0,...,0) 1 |
выполняется |
равенство f0 (1,1,...,1) 1, то |
f0 T0; f0 S
f0 , f1, fm , fl B.
Функционально полная подсистема.
71

|
Теорема Поста |
Если же для |
f0 T0 помимо равенства |
|
f0 (0,0,...,0) 1 |
выполняется |
равенство f0 (1,1,...,1) 0, то |
?
72

|
Теорема Поста |
Если же для |
f0 T0 помимо равенства |
|
f0 (0,0,...,0) 1 |
выполняется |
равенство f0 (1,1,...,1) 0, то |
f0 T0; f0 T1; f0 Mf0 , fs , fl B.
Функционально полная подсистема.
73

|
Теорема Поста |
Если же для |
f0 T0 помимо равенства |
|
f0 (0,0,...,0) 1 |
выполняется |
равенство f0 (1,1,...,1) 0, то |
f0 T0; f0 T1; f0 M
f0 , fs , fl B.
Заметим, что пример функционально полной системы В8 показывает, что число 4 в условии теоремы уменьшить нельзя.