Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Bilety_EVM.doc
Скачиваний:
22
Добавлен:
21.09.2019
Размер:
1.68 Mб
Скачать

17. Нормальные формы: днф, кнф. Порядок приведения к нормальным формам.

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

Нормальные формы используют для записи и преобразования булевых функций.

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

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

Порядок приведения логического выражения к нормальной форме:

  1. С помощью законов Де Моргана выражение преобразуется к виду, в котором знаки отрицания относятся только к отдельным переменным.

  2. На основании распределительного закона выражение сводится к дизъюнкции конъюнкций или конъюнкции дизъюнкций.

  3. Полученное выражение упрощается с помощью законов алгебры логики.

18. Совершенные нормальные формы. Порядок приведения к сднф и скнф.

Если в каждом члене нормальной формы представлены все переменные в прямом или инверсном виде, то это совершенная нормальная форма. Любая булева функция имеет только одну совершенную нормальную форму. Если какой–либо член нормальной формы не содержит переменной хi, то она вводится с помощью тождественного преобразования:

А = А*(хi v хi) = А*хi v А*хi — для ДНФ

А = А v хi*хi = (А v хi)*(А v хi) — для КНФ

Таким образом, любая булева функция может быть представлена суперпозицией конъюнкции, дизъюнкции и отрицания. Разложение по всем переменным в дизъюнкцию называется совершенной дизъюнктивной нормальной формой функции, а в конъюнкцию – совершенной конъюнктивной нормальной формой. Совершенная дизъюнктивная и конъюнктивная нормальная формы дают способ представления булевой функции через суперпозицию конъюнкции, дизъюнкции и отрицания.

Чтобы получить совершенную дизъюнктивную нормальную форму, надо взять все наборы, на которых значение функции равно 1 и записать для каждого из них конъюнкцию переменных и их отрицаний. Если в наборе значение переменной равно 0 – то переменную надо взять с отрицанием, если 1 – без отрицания. Из получившихся конъюнкций надо построить дизъюнкцию.

Чтобы получить совершенную конъюнктивную нормальную форму, надо взять все наборы, на которых значение функции равно 0 и записать для каждого из них дизъюнкцию переменных и их отрицаний. Если в наборе значение переменной равно 0 – то переменную надо взять без отрицания, если 1 – с отрицанием. Из получившихся дизъюнкций надо построить конъюнкцию.

19. Минимизация логических выражений. Метод карт Карно.

Для минимизации булевых выражений широко используются карты Карно, представляющие собой специально организованные таблицы соответствия. Строки и столбцы карты соответствуют всевозможным набором переменных, причем эти наборы расположены в порядке, при котором в соседних клетках они отличаются значениями только одной переменной.

Изображения карты Карно для функции 3–х переменных имеет вид:

xy

00

01

11

10

z

0

x*y*z

x*y*z

x*y*z

x*y*z

1

x*y*z

x*y*z

x*y*z

x*y*z

Клетки, расположенные по краям карты, также считаются соседними. Клетки наборов, на которых функция принимает значение 1, заполняются единицами.На основании распределительного закона алгебры логики две единицы, расположенные в соседних клетках, могут быть заменены логическим произведением, содержащим на одну переменную меньше. Если соседними оказываются две пары единиц, то из произведения исключаются две переменные и т.д. В общем случае наличие единиц в 2n соседних клетках позволяет исключить n переменных.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]