Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

С2. МОИ. Презентации / Булевы функции 5 (v. 1.1)

.pdf
Скачиваний:
17
Добавлен:
10.02.2015
Размер:
1.59 Mб
Скачать

 

Теорема Поста

Но если для

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 в условии теоремы уменьшить нельзя.