СДНФ и СКНФ Формы булевых функций. Дополнительные операции Импликация Эквивалентность Сложение по модулю 2 Стрелка Пирса (ИЛИ-НЕ) Штрих Шеффера (И-НЕ) - презентация

1 СДНФ и СКНФ Формы булевых функций

2 Дополнительные операции Импликация Эквивалентность Сложение по модулю 2 Стрелка Пирса (ИЛИ-НЕ) Штрих Шеффера (И-НЕ)

3 Приоритет операций 1. Инверсия 2. Штрих Шеффера 3. Стрелка Пирса 4. Конъюнкция 5. Дизъюнкция 6. Сложение по модулю 2 7. Импликация 8. Эквивалентность

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

5 Правильные элементарные конъюнкции

6 Основные теоремы

7 Преобразовать до ДНФ

8 Найти СКНФ

9 Найти СДНФ

10 Упрощение нормальных форм

11 Упростить

12 Пример карты Карно

13 Карты Карно Найти сокращенную ДНФ для функций f(x 1,x 2,x 3,x 4 )=( ) f(x 1,x 2,x 3,x 4 )=( ) f(x 1,x 2,x 3,x 4 )=( ) f(x 1,x 2,x 3,x 4 )=( ) f(x 1,x 2,x 3 )=( ) f(x 1,x 2,x 3 )=( ) f(x 1,x 2,x 3 )=( )

14 Карты Карно Минимизировать функции