Тема: Решение логических задач с помощью таблиц истинности Логическая функция – это функция, у которой значения переменных и значение функции выражают логическую истинность. Они могут принимать значения «истина» или «ложь» (1 или 0). Для функции, содержащей две переменные, наборов значений переменных всего четыре: (1,1) (1,0) (0, 1) (0, 0) Конъюкция- логическая операция, являющаяся истинной тогда и только тогда, когда оба исходных высказывания истинны. Операция - логическое умножение Союз "И" & /\ * A 0 0 1 1 B 0 1 0 1 A&B 0 0 0 1 Дизъюнкция - логическая операция, являющаяся ложной тогда и только тогда, когда оба исходных высказывания ложны. Операция - логическое сложение Союз "или" \/ + │ инверсия - новое высказывание противоположно исходному. Операция - логическое отрицание Частица "НЕ" ¬А Импликация - объединение двух высказываний с помощью оборота речи "Если....., то......" Операция - логическое следование Ложно тогда и только тогда, когда А - истина, а В - ложь → Эквиваленция - объединение двух высказываний с помощью оборота речи "......тогда и только тогда, когда....." Истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны ↔ - Порядок выполнения логических операций Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке: 1. 2. 3. 4. 5. Инверсия Конъюнкция Дизъюнкция Импликация Эквиваленция Задание 1 Задача 2. Для какого из приведенных чисел ложно высказывание: НЕ((Первая цифра меньше второй) И (Наименьшая цифра равна 3)) Числа: 731; 465; 358; 635. Задание Составить истинности функции таблицу для (А/\В↔А\/¬В)/\(В→ А)