Элементарные логические операции инверсия дизъюнкция конъюнкция импликация эквиваленция. - презентация

1

2 Элементарные логические операции

3 инверсия дизъюнкция конъюнкция импликация эквиваленция

4 Элементарные логические операции Назад Таблица истинности Инверсия истина, если сама переменная ложна и наоборот. Пример: А = (На улице идет снег). ¬А = (на улице не идет снег), (неверно, что на улице снег). А¬А

5 Элементарные логические операции Назад Таблица истинности Дизъюнкция ложна тогда и только тогда, когда оба высказывания ложны. Пример: F(A,B) = (На улице светит солнце ИЛИ дует сильный ветер). А = На улице светит солнце. В = Дует сильный ветер. F(A,B)= A V B; F(A,B)= A + B; АВF

6 Элементарные логические операции Назад Таблица истинности Конъюнкция истина тогда и только тогда, когда оба высказывания истины. Пример: F(A,B) = (На улице светит солнце И дует сильный ветер). А = На улице светит солнце. В = Дует сильный ветер. F(A,B)= A Λ B; F(A,B)= A * B; АВF

7 Элементарные логические операции Назад Таблица истинности Импликация ложна только тогда, когда первое высказывание истинно, а второе ложно. Пример: F(A,B) = (Если прозвенит звонок, то урок закончится.). А = Прозвенит звонок. В = Урок закончится. F(A,B)= A B; АВF

8 Элементарные логические операции Таблица истинности Эквиваленция истина тогда, когда оба высказывания истины или ложны. Пример: F(A,B) = (Урок закончится тогда и только тогда, когда прозвенит звонок.). А = Урок закончится. В =Прозвенит звонок. F(A,B)= A B; АВF Назад

9 Элементарные логические операции Задание 1. Какие из приведенных высказываний не являются формулами алгебры логики. 1.А+В 2.+А+В 3.А-В 4.А&В 5.А+В+С 6.А*В 7.¬А+В 8.(А+В)&C

10 Элементарные логические операции Задание 2. Запишите на языке алгебры логики следующие высказывания. 1.На улице идет дождь и дует сильный ветер или светит солнце. 2.Я поеду в Москву и встречу там друзей. 3.Я не пойду в школу или не пойду в кино. 4.Мы едем в театр и не можем ехать в зоопарк.

11 Элементарные логические операции Задание 3. Придумайте высказывания которые могут быть описаны формулами. 1.В и С или (не А) 2.А Λ В 3.А V В 4.¬А V В