Слайд 1Логические
выражения и операции
Слайд 2Основные понятия
Алгебра логики – это наука об общих операциях, аналогичных сложению
и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями.
Слайд 3Основные понятия
Логическая переменная – это простое высказывание, содержащее только одну мысль.
Её символическое обозначение – латинская буква (A,B,X,Y и т.д.). Значением логической переменой могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0).
Слайд 4Основные понятия
Логическая функция – составное высказывание, которое содержит несколько простых мыслей,
соединенных между собой с помощью логических операций.
Её символическое обозначение - F(A,B,…).
На основании простых высказываний могут быть построены составные высказывания.
Слайд 5Основные понятия
Логические операции – логические действия.
Логические операции:
Конъюнкция
Дизъюнкция
Инверсия
Импликация
Эквивалентность
Слайд 6Конъюнкция (от лат. conjunctio - связываю)
Вывод: результат будет истинным тогда и
только тогда, когда оба исходных высказывания истинны
Слайд 7Дизъюнкция (от лат. disjunctio - различаю)
Вывод: результат будет ложным тогда и
только тогда, когда оба исходных высказывания ложны
Слайд 8Инверсия (от лат. inversio - переворачиваю)
Вывод: результат будет ложным, если исходное
выражение истинно, и наоборот
Слайд 9Импликация (от лат. implicatio – тесно связывать)
Вывод: результат будет ложным тогда
и только тогда, когда из истинного основания следует ложное следствие
Слайд 10Эквивалентность (от лат. еquivalens - равноценное)
Вывод: результат будет истинным тогда и
только тогда, когда оба высказывания одновременно либо ложны, либо истинны
Слайд 11 Если составное высказывание (логическую функцию) выразить в виде формулы, в которую
войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только истина или ложь.
Слайд 12 При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а
именно:
Действия в скобках.
Инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность.
Слайд 13Пример 1.
Записать в виде логического выражения следующее высказывание: «Летом Петя поедет
в деревню и, если будет хорошая погода, то он пойдёт на рыбалку».
Проанализируем составное высказывание. Оно состоит из следующих простых: «Петя поедет в деревню», «Будет хорошая погода», «Он пойдёт на рыбалку».
Слайд 14 Обозначим их через логические переменные:
А= Петя поедет в деревню;
В= Будет хорошая
погода;
С= Он пойдёт на рыбалку
2. Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо расставим скобки:
F=A&(B →C).
Слайд 15 Пример 2. Есть два простых высказывания:
А – «Число 10 - чётное»
В
– «Волк – травоядное животное».
Составьте из них все возможные составные высказывания и определите их истинность.
Слайд 16Вопросы для повторения
Что такое логическая переменная и логическая функция?
Какие логические операции
Вам известны?
Когда принимают истинные значения конъюнкция, дизъюнкция, инверсия, импликация и эквивалентность?