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

1 Булева функция

Функция вида f : {0, 1}n → {0, 1} − булева.

2 Существенная переменная
Переменная xi функции f (x1, . . . , xn) существенна, если существует набор
(α1, . . . , αn) ∈ {0, 1}n : f (α1, . . . , αn) 6= f (α1, . . . , αi−1, αi, αi+1, . . . , αn).

3 Формула над заданным множеством булевых функ-


ций
Пусть Ω ⊆ P2.
1) Если f ∈ Ω, то f − формула над Ω.
2) Если Φ1, . . . , Φn − формулы над Ω, либо символьные переменные,
f (x1, . . . , xn) ∈ Ω, то f (Φ1, . . . , Φn) − формула над Ω.

4 Функция, реализуемая формулой


Формуле Φ(x1, . . . , xn) над Ω сопоставим f (x1, . . . , xn), которую реализует
данная формула.
1) Если Φ(x1, . . . , xn) совпадает с f (x1, . . . , xn), то
Φ(x1, . . . , xn) ↔ f (x1, . . . , xn).
2) Если Φ(x1, . . . , xn) = f0(A1, . . . , Am), где Ai − символьные переменные,
либо формулы над Ω, то Φ(x1, . . . , xn) ↔ f0(f1, . . . , fm), где fi реализует
Ai .

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

7 Совершенная дизъюнктивная нормальная форма


_
Разложение вида xσ1 1 . . . xσnn − СДНФ.
(σ1 ,...,σn )∈{0,1}n
f (σ1 ,...,σn )=1

8 Совершенная конъюнктивная нормальная форма


Разложение вида
&
(σ1 ,...,σn )∈{0,1}n
(xσ1 1 ∨ . . . ∨ xσnn ) − СКНФ.

f (σ1 ,...,σn )=0

9 Двойственная функция. Принцип двойственности


f ∗(x1, . . . , xn) = f (x1, . . . , xn) − двойственная к f .

Принцип двойственности:
Пусть F (x1, . . . , xn) = f0(f1(x1, . . . , xn), . . . , fm(x1, . . . , xn)).
Тогда F ∗(x1, . . . , xn) = f0∗(f1∗(x1, . . . , xn), . . . , fm∗ (x1, . . . , xn)).

10 Замкнутое, полное множества булевых функций


Пусть Ω ⊆ P2.
[Ω] (замыкание) − все функции, выражаемые формулами над Ω.
Ω замкнутa, если [Ω] = Ω.
Ω полнa, если [Ω] = P2.

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 .

14 Основные замкнутые классы булевых функций


T0 = {f ∈ P2 | f (0, . . . , 0) = 0} − сохраняющие 0.
T1 = {f ∈ P2 | f (1, . . . , 1) = 1} − сохраняющие 1.
S = {f ∈ P2 | f ∗ = f } − самодвойственные.
L = {f ∈ P2 | f = α0 ⊕ α1x1 ⊕ . . . ⊕ αnxn, αi ∈ {0, 1}} − линейные.
M = {f ∈ P2 | (α1, . . . , αn) 6 (β1, . . . , βn) ⇒
f (α1, . . . , αn) 6 f (β1, . . . , βn)} − монотонные.

15 Теорема Поста
Система булевых функций Ω ⊆ P2 полна ⇔ она не лежит целиком ни в
одном из классов T0, T1, S, L, M .

16 Лемма о несамодвойственной функции


f∈
/ S ⇔ 0, 1 ∈ [{f, x}].

3
17 Лемма о нелинейной функции
f∈
/ L ⇔ x1x2 ∈ [{f, 0, 1, x}].

18 Лемма о немонотонной функции


f∈
/ M ⇔ x ∈ [{f, 0, 1}].

19 Предполный класс
Ω − предполный класс, если:
1) Ω 6= P2,
2) Ω − замкнутый,
3) ∀f ∈ P2\Ω : Ω ∪ {f } − полна.

20 Теорема о предполных классах булевых функций


В P2 существует ровно пять предполных классов: T0, T1, S, L, M .

21 Минимальная ДНФ
ДНФ D − минимальная ДНФ функции f , если она имеет минимальную
сумму рангов элементарных конъюнкций среди всех ДНФ, реализующих f .

22 Импликанта, простая импликанта


f1 6 f2 (f1 имплицирует f2, f1 − импликанта f2) ⇔
Nf1 ⊆ Nf2 ⇔ f1 → f2 ≡ 1.
K − простая импликанта f , если NK ⊆ Nf , и не существует элементар-
ной конъюнкции K 0 : NK ⊂ NK 0 ⊆ Nf . (K 0 получается из K вычеркиванием
переменных).

4
23 Сокращенная ДНФ
s
_
Dc(f ) = Ki, где Ki − все простые импликанты f.
i=1

24 Теорема о сокращенной ДНФ монотонной функции


Dc(f ) монотонной функции не содержит отрицаний переменных и явля-
ется ее единственной минимальной ДНФ.

25 Метод Нельсона построения сокращенной ДНФ


Дана КНФ. Раскрываем скобки, применяем оператор поглощения
(K1 ∨ K1K2 = K1), убираем дублирования (K ∨ K = K).

26 Метод Квайна построения сокращенной ДНФ


Дана СДНФ. Все пары проверяем на склейку (xK ∨ xK = K), получаем
ребра. Все пары ребер проверяем на склейку, получаем грани размерности
2, и т.д., пока можем. Далее − поглощение (K1 ∨ K1K2 = K1).

27 Метод Блейка построения сокращенной ДНФ


Дана ДНФ. Применяем, пока можем операцию обобщенного склеивания
(xK1 ∨xK2 = xK1 ∨xK2 ∨K1K2), потом операцию поглощения (K1 ∨K1K2 =
= K1).

Вам также может понравиться