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

Презентация:



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

Логические основы работы ЭВМ 1.Высказывания, логические функции и алгебра логики 2. Описание логических функций 3. Логические выражения 4. Преобразование.
ФОРМЫ ПРЕДСТАВЛЕНИЯ ВЫСКАЗЫВАНИЙ Элементарной дизъюнкцией называется выражение вида: Элементарной конъюнкцией называется выражение вида: Где A i - либо.
Алгебра логики Основные понятия. Введение Буль (Boole) Джордж ( , Линкольн, , Баллинтемпл близ Корка), английский математик и логик.
ЛОГИЧЕСКИЕфункции. Переменные, которые обозначают высказывания, могут принимать значения 0 и 1. При n переменных существует 2 n наборов переменных. Значения.
1 Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма Логические основы ЭВМ 10 класс Белоусова Елена Ивановна, учитель.
Булевы переменные и функции Булевыми переменными называются переменные, принимающие значение 0 или 1. Булевы (или логические) функции оперируют с булевыми.
Нормальные формы ХНУРЭ, кафедра ПО ЭВМ, Тел , Лекция 6 Н.В. Белоус Факультет компьютерных наук Кафедра ПО ЭВМ,
Учитель информатики МАОУ СОШ 18 Борисова И. Н. A v B а в а + в А ~ В А | В А В.
Логика в информатике Решение уравнений. Логические основы ПЭВМ.
3. Нормальные формы логических функций Нормальной формой логической функции является такая формула, которая считается наиболее наглядной и удобной в использовании,
Алгебра логики Основные понятия. Введение Буль (Boole) Джордж ( , Линкольн, , Баллинтемпл близ Корка), английский математик и логик.
Булевы переменные и функции Булевыми переменными называются переменные, принимающие значение 0 или 1. Булевы (или логические) функции оперируют с булевыми.
Логика Наука, изучающая законы и формы мышления.
Логические функции. Логической (булевой) функцией называют функцию F(x 1,x 2,...,x n ), аргументы которой x 1,x 2,...,x n (независимые переменные) и сама.
« Где начало того конца, которым оканчивается начало » Авторы: Машков Никита Абросимова Анастасия.
1 Кубенский А.А. Дискретная математика. Глава 2. Элементы математической логики Исчисление высказываний Высказывание – утверждение о математических.
Тест по теме: «Алгебра логики». 1. Кто является основателем алгебры логики? Джордж Сильверстоун Джеймс Браун Джон Смит Джордж Буль.
Входные данные / ввод переменных в логическую схему Выполнение операции ИНВЕРСИЯ А В (0/1) А = 1 0 А = 0 1.
содержание 1определение 1.определение 2.логическоеотрицание 2.логическое отрицание 3.логическое сложение 4.логическое умножение 5логическоеследование.
Транксрипт:

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

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

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

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

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

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

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

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