Академический Документы
Профессиональный Документы
Культура Документы
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̄ ∅
= 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 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 .
P2 = [K] ⊆ [W ] = W, т. е. P2 = W.
19
Следствие 1. Вс@кий 6амкнутый класс W и6 P2 такой, что W ∕= P2 , содер7итс@
хот@ бы в одном и6 классов T0 , T1 , S, L и M .
P2 = [K ∪ {f }] ⊆ [W ] ∕= P2 .
то 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 = xy ⊕ z ∈
/ L; f1 (0, 0, 0) = f1 (1, 1, 1) ⇒ f1 ∈
/ S;
f2 = x ⊕ y ⊕ 1 ∈ L; f2 (0, 0) = f2 (1, 1) ⇒ f2 ∈
/ S;
Так как в каCдом столбце присутствует хот+ бы один O−P, то система K не содерCитс+
полност8> ни в одном и, п+ти классов T0 , T1 , S, L и M и по критери> Поста полна в P2 .
A = {f1 = x ⊕ y, f2 = xy ⊕ z, f3 = x ⊕ y ⊕ z ⊕ 1, f4 = xy ⊕ xz ⊕ yz}
T0 T1 S L M
f1 + − − + −
f2 + − − − −
f3 − − + + −
f4 + + + − +
K = f3 (f1 ∨ f2 )(f2 ∨ f4 ) = f2 f3 ∨ f1 f3 f4 = D.
22