Вы находитесь на странице: 1из 5

5.

Критерий Поста полноты в классе P2

Выше были рассмотрены п+т8 ,амкнутых классов булевых функций: T0 , T1 , S, L и M .


Ока,алос8, что эти п+т8 классов функций в совокупности облада>т очен8 ваCными свой-
ствами.

Таблица 1. Св+,8 классов T0 , T1 , S, L и M .

T0 T1 S L M
T0 ∅ 1 x̄ 1 1
T1 0 ∅ x̄ 0 0
S 0 1 ∅ 1 1
L x1 ∨ x2 x1 ∧ x2 x1 x2 ∨ x1 x3 ∨ x2 x3 ∅ x1 ∨ x2
M x1 ⊕ x2 x1 → x2 x̄ x̄ ∅

Таблица 1 пока,ывает, что классы T0 , T1 , S, L и M не тол8ко попарно ра,личны, но


и устроены так, что дл+ каCдой пары этих классов найдетс+ функци+, котора+ одному
и, них принадлеCит, а другому M нет. Строки таблицы соответству>т непринадлеCно-
сти классам (сверху M черточка), а столбцы M принадлеCности классам. Так, в +чейке
таблицы [ L, S ] ,аписана функци+ f (x1 , x2 , x3 ) = x1 x2 ∨ x1 x3 ∨ x2 x3 . Она действител8но
+вл+етс+ самодвойственной, поскол8ку

(x1 x2 ∨ x1 x3 ∨ x2 x3 )∗ = (x1 ∨ x2 )(x1 ∨ x3 )(x2 ∨ x3 ) =

= (x1 ∨ x1 x2 ∨ x1 x3 ∨ x2 x3 )(x2 ∨ x3 ) = (x1 ∨ x2 x3 )(x2 ∨ x3 ) =

= x1 x2 ∨ x1 x3 ∨ x2 x3 ∨ x2 x3 = x1 x2 ∨ x1 x3 ∨ x2 x3 .

И эта функци+ не +вл+етс+ линейной, так как:

x1 x2 ∨ x1 x3 ∨ x2 x3 = x1 x2 ∨ x1 x3 ∨ x2 x3 = x1 x2 · x1 x3 · x2 x3 =

= (x1 x2 ⊕ 1)(x1 x3 ⊕ 1)(x2 x3 ⊕ 1) ⊕ 1 =

= (x1 x2 x3 ⊕ x1 x2 ⊕ x1 x3 ⊕ 1)(x2 x3 ⊕ 1) ⊕ 1 =

= x1 x2 x3 ⊕ x1 x2 x3 ⊕ x1 x2 x3 ⊕ x1 x2 ⊕ x1 x2 x3 ⊕ x1 x3 ⊕ x2 x3 ⊕ 1 ⊕ 1 =

= x1 x2 ⊕ x1 x3 ⊕ x2 x3 .

Теорема 3 (Критерий Э. Поста). Ди@ того, чтобы система функций K ⊆ P2 была


полной, необходимо и достаточно, чтобы она не cодер7алас; полност;: ни в одном и6
п@ти 6амкнутых классов T0 , T1 , S, L и M .
18
Дока2ател4ство. Необходимост;. ПокаCем, что если система K полна, условие
теоремы долCно выполн+т8с+. Действител8но, если бы выполн+лос8 противное: K ⊆ W ,
где W M прои,вол8ный класс и, T0 , T1 , S, L и M , то в силу свойств ,амыкани+ и определе-
ни+ полноты, а такCе учитыва+, что класс W M ,амкнут, долCно бы было выполн+т8с+:

P2 = [K] ⊆ [W ] = W, т. е. P2 = W.

Но это не так: л>бой и, ,амкнутых классов T0 , T1 , S, L и M не моCет быт8 полным,


поскол8ку, согласно таблице 1 дл+ каCдого и, них найдетс+ булева функци+, леCаща+
вне этого класса.
Достаточност;. Выделим и, системы K подсистему функций, дл+ которой моCно
будет дока,ат8 полноту путем сведени+ к ,аведомо полной в P2 системе.
Поскол8ку K не леCит полност8> ни в одном и, п+ти классов T0 , T1 , S, L и M ,
то и, нее моCно выделит8 следу>щие п+т8 функций: fT̄0 M не сохран+>ща+ нол8; fT̄1 M
не сохран+>ща+ единицу; fS̄ M несамодвойственна+; fL̄ M нелинейна+; fM̄ M немонотонна+.
Путем добавлени+ и удалени+ фиктивных переменных моCно обеспечит8 ,ависимост8
этих функций от одних и тех Cе переменных.
Сначала построим константы.
Пуст8 ϕ(x) = fT̄0 (x, x, . . . , x). Тогда ϕ(0) = fT̄0 (0, 0, . . . , 0) = 1, а на наборе и, всех
единиц функци+ fT̄0 моCет принимат8 либо единичное, либо нулевое ,начение.
Если ϕ(1) = 1, то, учитыва+, что ϕ(0) = 1, получаем, что ϕ(x) M константа 1. Кон-
станта 0 получаетс+ подстановкой ϕ(x) = 1 в функци> fT̄1 M не сохран+>щу> единицу:
fT̄1 (1, 1, . . . , 1) = 0.
Если ϕ(1) = 0, то ϕ(x) M инверси+, т. к. ϕ(0) = 1. Тогда, име+ инверси> ϕ(x) = x̄, со-
гласно лемме о несамодвойтвенной функции, испол8,у+ несамодвойственну> функци> fS̄
моCно получит8 константу. Подставл++ константу в функци> x̄, моCно получит8 втору>
константу.
Испол8,у+ построенные константы и немонотонну> функци> fM̄ , согласно лемме о
немонотонной функции моCно получит8 инверси> x̄.
Испол8,у+ построенные константы, инверси> н нелинейну> функци> fL̄ , согласно
лемме о нелинейной функции моCно получит8 кон@>нкци> x1 ∧ x2 .
Выделив и, K подсистему функций, с её помощ8> мы построили инверси> x̄ и кон@-
>нкци> x1 ∧ x2 , т. е. осуществили сведение к ,аведомо полной системе {x1 ∧ x2 , x̄}. □

19
Следствие 1. Вс@кий 6амкнутый класс W и6 P2 такой, что W ∕= P2 , содер7итс@
хот@ бы в одном и6 классов T0 , T1 , S, L и M .

Дока2ател4ство. Действител8но, если W ,амкнут ([W ] = W ) и не совпадает с P2


(W ∕= P2 ), то он не полон, тогда условие теоремы 3 долCно нарушат8с+ и класс W долCен
полност8> леCат8 в одном и, п+ти ука,анных классов. □

Утвер<дение 1. Л:бой предполный класс 6амкнут.

Дока2ател4ство. Пуст8 G M предполный класс и G ∕= [G], поскол8ку G ⊆ [G], то


выбрав вне G функци> f ∈ [G] \ G, получим полный класс [G ∪ {f }] ⊆ [G]. Тогда [G] = P2 ,
но G но определени> полным не +вл+етс+, поэтому G = [G]. □

Теорема 4. В P2 существует ровно п@т; предполных классов T0 , T1 , S, L и M .

Дока2ател4ство. Пуст8 K M преднолный класс. Тогда по определени> он не +вл+-


етс+ полным и по теореме 3 долCен полност8> леCат8 в одном и, классов T0 , T1 , S, L и M ,
т. е. K ⊆ W , где W M л>бой и, п+ти классов. Но K не моCет быт8 уCе класса W , т. к.
если бы выполн+лос8 W \ K ∕= ∅, то, в,+в функци> f ∈ W \ K, мы могли бы построит8
полный класс K ∪ {f }, что нево,моCно, т. к. в этом случае

P2 = [K ∪ {f }] ⊆ [W ] ∕= P2 .

Пример 2. Исследоват8 на полноту систему функций D = {x1 ∨ x2 , x1 ∧ x2 , x1 → x2 }.


По критери> Поста сра,у видно, что каCда+ и, трех функций системы D равна единице
при x1 = x2 = 1. Тогда D ⊂ T1 , следовател8но, D M неполна+ система в P2 .

Пример 3. Исследуем по критери> Поста систему, состо+щу> тол8ко и, одной функ-


ции f (x1 , x2 ) M штрих Шеффера: D = {x1 | x2 }.
Так как

f (0, 0) = 1; f (1, 1) = 0; f ∗ (x1 , x2 ) = x1 ↓ x2 ∕= f (x1 , x2 );

f (x1 , x2 ) = x1 x2 ⊕ 1; f (0, 0) > f (1, 1),

то f ∈
/ T0 , f ∈
/ T1 , f ∈
/ S, f ∈ / M , и, cледовател8но, система {x1 | x2 } +вл+етс+
/ L, f ∈
полной.
20
Пример 4. Иcпол8,у+ критерий Поста, исследоват8 полноту системы функ-
ций K = {f1 = xy ⊕ z, f2 = x ∼ y}.
Дл+ этого построим так на,ываему> критериал;ну: таблицу M таблицу принадлеC-
ности функций f1 , f2 классам T0 , T1 , S, L и M :

T0 T1 S L M
f1 + − − − −
f2 − + − + −

f1 = (0, 1, 0, 1, 0, 1, 1, 0); f1 (0, 0, 0) = 0 ⇒ f1 ∈ T0 ; f1 (1, 1, 1) = 0 ⇒ f1 ∈


/ T1 ;

f1 = xy ⊕ z ∈
/ L; f1 (0, 0, 0) = f1 (1, 1, 1) ⇒ f1 ∈
/ S;

f1 (1, 1, 0) > f1 (1, 1, 1) ⇒ f1 ∈


/ M.

f2 = (1, 0, 0, 1); f2 (0, 0) = 1 ⇒ f2 ∈


/ T0 ; f2 (1, 1) = 1 ⇒ f2 ∈ T1 ;

f2 = x ⊕ y ⊕ 1 ∈ L; f2 (0, 0) = f2 (1, 1) ⇒ f2 ∈
/ S;

f2 (0, 0) > f2 (0, 1) ⇒ f2 ∈


/ M.

Так как в каCдом столбце присутствует хот+ бы один O−P, то система K не содерCитс+
полност8> ни в одном и, п+ти классов T0 , T1 , S, L и M и по критери> Поста полна в P2 .

Пример 5. И, полной в P2 системы

A = {f1 = x ⊕ y, f2 = xy ⊕ z, f3 = x ⊕ y ⊕ z ⊕ 1, f4 = xy ⊕ xz ⊕ yz}

выделит8 всево,моCные ба,исы.


Дл+ начала построим критериал8ну> таблицу:

T0 T1 S L M
f1 + − − + −
f2 + − − − −
f3 − − + + −
f4 + + + − +

По данной таблице составим к. н. ф. K, в которой элементарные ди,@>нкции соот-


ветству>т столбцам таблицы и вкл>ча>т в качестве слагаемых символы тех функций,
которые не принадлеCат классу соответству>щему данному столбцу (со ,наком O−P).
В нашем случае имеем

K = f3 (f1 ∨ f2 ∨ f3 )(f1 ∨ f2 )(f2 ∨ f4 )(f1 ∨ f2 ∨ f3 ),


21
перемноCа+ скобки и упроща+ котору> (A · A = A, A(A ∨ B) = A, A ∨ AB = A), приведем
к. н. ф. K к д. н. ф. D, в которой упрощени+ A ∨ AB = A нево,моCны. Имеем

K = f3 (f1 ∨ f2 )(f2 ∨ f4 ) = f2 f3 ∨ f1 f3 f4 = D.

По полученной д. н. ф. D выпишем подмноCества функций, соответству>щие слагаемым


д. н. ф. D. Это и будут искомые ба,исы. В нашем случае имеетс+ два ба,иса B1 = {f2 , f3 }
и B2 = {f1 , f3 , f4 }.

22