Академический Документы
Профессиональный Документы
Культура Документы
2 Существенная переменная
Переменная xi функции f (x1, . . . , xn) существенна, если существует набор
(α1, . . . , αn) ∈ {0, 1}n : f (α1, . . . , αn) 6= f (α1, . . . , αi−1, αi, αi+1, . . . , αn).
5 Эквивалентные формулы
Формулы эквивалентны, если они реализуют равные функции.
1
6 Теорема о разложении функций по переменным
Пусть f (x1, . . . , xn) ∈ P2, 1_
6 k 6 n.
Тогда f (x1, . . . , xn) = xσ1 1 . . . xσk k f (σ1, . . . , σk , xk+1, . . . , xn).
(σ1 ,...,σk )∈{0,1}k
Принцип двойственности:
Пусть F (x1, . . . , xn) = f0(f1(x1, . . . , xn), . . . , fm(x1, . . . , xn)).
Тогда F ∗(x1, . . . , xn) = f0∗(f1∗(x1, . . . , xn), . . . , fm∗ (x1, . . . , xn)).
2
11 Теорема о полноте двух систем
Пусть Ω1, Ω2 ∈ P2, Ω1 полна, любая функция из Ω1 выражается формулой
над Ω2. Тогда Ω2 полна.
12 Полином Жегалкина
K1 ⊕ K2 ⊕ . . . ⊕ Kl , где Ki 6= Kj ∀i 6= j и Ki − монотонные элементарные
конъюнкции ∀i − полином Жегалкина.
13 Теорема Жегалкина
∀f ∈ P2 ∃ единственный полином Жегалкина, реализующий f .
15 Теорема Поста
Система булевых функций Ω ⊆ P2 полна ⇔ она не лежит целиком ни в
одном из классов T0, T1, S, L, M .
3
17 Лемма о нелинейной функции
f∈
/ L ⇔ x1x2 ∈ [{f, 0, 1, x}].
19 Предполный класс
Ω − предполный класс, если:
1) Ω 6= P2,
2) Ω − замкнутый,
3) ∀f ∈ P2\Ω : Ω ∪ {f } − полна.
21 Минимальная ДНФ
ДНФ D − минимальная ДНФ функции f , если она имеет минимальную
сумму рангов элементарных конъюнкций среди всех ДНФ, реализующих f .
4
23 Сокращенная ДНФ
s
_
Dc(f ) = Ki, где Ki − все простые импликанты f.
i=1