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

1 Булевы функции СДНФ и СКНФ

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

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

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

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

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

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

8 Задача Петя, Вася и Маша остались дома одни. Кто-то из них ел варенье. На вопрос мамы, кто это сделал, они сказали: Петя: Я не ел. Маша тоже не ела. Вася: Маша действительно не ела. Это сделал Петя Маша: Вася врет. Это он съел. Выясните, кто ел варенье, если известно, что двое из них оба раза сказали правду, а третий один раз соврал, а один раз сказал правду.