Нормальные формы
Булева алгебра
Нормальные формы
Основные определения
Основные определения
Примеры
Задача
Алгоритм получения СДНФ по таблице истинности
Алгоритм получения СКНФ по таблице истинности
Решение
Проверка
Логическая схема
Задача уровня В
Обобщение
Примеры
595.00K
Категория: МатематикаМатематика

Нормальные формы. Булева алгебра

1. Нормальные формы

Глава 2. Булева алгебра
1

2. Булева алгебра

Множество всех булевых в базисе S1
образуют булеву алгебру. Таким образом в
булевой алгебре все формулы
записываются при помощи трех связок:
отрицание
конъюнкция
дизъюнкция
2

3. Нормальные формы

Нормальные формы являются синтаксически
однозначным
способом
записи
формулы,
реализующей заданную функцию.
•Если х - логическая переменная, а σ Є {0,1} то
выражение
называется литерой.
•Литеры x и ¬x называются контрарными.
3

4. Основные определения

• Конъюнктом называется конъюнкция
литер.
• Дизъюнктом называется дизъюнкция
литер.
Конъюнкт:
Дизъюнкт:
4

5. Основные определения

Дизъюнктивной нормальной формой
(ДНФ) называется дизъюнкция конечного
числа конъюнктов.
Конъюнктивной нормальной формой
(КНФ) называется конъюнкция конечного
числа дизъюнктов.
Более просто: ДНФ - это сумма произведений, а
КНФ - это произведение логических сумм.
5

6. Примеры

6

7. Задача

Пусть дана таблица
истинности для
некоторой логической
функции F(X,Y).
Перейти от таблицы
истинности к формуле, а
на ее основе построить
функциональную схему.
X
Y
F
0
0
1
0
1
0
1
0
1
1
1
1
7

8.

Логическая функция
ТАБЛИЦА ИСТИННОСТИ
ФОРМУЛА
СХЕМА
ПРОБЛЕМА:
Как от таблицы истинности
перейти к формуле, чтобы построить
функциональную схему?
8

9.

Совершенной дизъюнктивной нормальной
формой (СДНФ) называется такая
дизъюнктивная нормальная форма, у которой
в каждую конъюнкцию входят все переменные
данного списка (либо сами, либо их
отрицания), причем в одном и том же порядке.
(X Y Z) (X Y Z)
Не соответствует
правилу
( X X ) (Y X Y )
9

10.

Совершенной конъюнктивной нормальной
формой (СКНФ) называется такая
конъюнктивная форма, у которой в каждую
дизъюнкцию входят все переменные данного
списка (либо сами, либо их отрицания),
причем в одном и том же порядке.
( X Z Y) (X Z Y)
Не соответствует
правилу
( X X Y) (Z X)
10

11.

Теорема алгебры логики
Любую функцию можно представить как
в виде СДНФ, так и СКНФ, кроме
константы 0
X X 0
и константы 1
X X 1
11

12. Алгоритм получения СДНФ по таблице истинности

1.
Отметить те строки таблицы
истинности, в последнем
столбце которых стоят 1:
X
Y
F(X,Y)
0
0
1*
0
1
0
1
0
1*
1
1
1*
2. Выписать для каждой отмеченной строки конъюнкцию всех
переменных следующим образом: если значение в данной строке
равно 1, то в конъюнкцию включать саму эту переменную, если
равно 0, то ее отрицание :
для 1-й строки
X Y, для 3-строки
X Y, для 4-строки
X Y
3. Все полученные конъюнкции связать в дизъюнкцию:
F (X Y) (X Y) (X Y)
12

13. Алгоритм получения СКНФ по таблице истинности

1. Отметить те строки
таблицы истинности,
в последнем столбце
которых стоят 0:
X
Y
F(X,Y)
0
0
1
0
1
0*
1
0
1
1
1
1
2. Выписать для каждой отмеченной строки дизъюнкцию всех
переменных следующим образом: если значение в данной строке
равно 0, то в дизъюнкцию включать саму эту переменную, если
равно 1, то ее отрицание :
X Y
- для 2-й строки.
3. Все полученные дизъюнкции связать в конъюнкцию:
X Y
13

14. Решение

Полученные по двум алгоритмам СДНФ и СКНФ
эквивалентны. Преобразуем СКНФ по правилам
алгебры логики:
СДНФ =
СКНФ =
F (X Y) (X Y) (X Y)
X Y X Y X Y X Y
X Y
Примечание: Для нахождения формулы по таблице истинности
рекомендуется использовать тот из двух алгоритмов, в котором в
таблице помечается меньше строк.
14

15. Проверка

Покажем, что полученные по двум алгоритмам
СДНФ и СКНФ эквивалентны.
СДНФ F ( X Y ) и СКНФ F ( X Y )
Можем проверить, построив таблицу истинности по
найденной формуле.
X
Y
0
0
1
1
0
1
0
1
Y
1
0
1
0
F (X Y)
1
0
1
1
15

16. Логическая схема

X
F
v
Y
F (X Y)
16

17. Задача уровня В

Представить функцию в
виде СДНФ и СКНФ
(a
b)
c
(a )
b c =
= abc abc
abc abc abc
a
0
0
0
0
1
1
1
1
b
0
0
1
1
0
0
1
1
c
0
1
0
1
0
1
0
1
(a )
b c
0
1
0
1
1
1
0
1
17

18. Обобщение

Если в каждом члене нормальной формы
представлены все переменные (либо
сами, либо их отрицания), причем в
каждом
отдельном
конъюнкте
или
дизъюнкте любая переменная входит
ровно один раз (либо сама либо ее
отрицание), то эта форма называется:
СОВЕРШЕННОЙ НОРМАЛЬНОЙ
ФОРМОЙ
18

19. Примеры

19

20.

20
English     Русский Правила