- Построение логических выражений - Приоритет логических операций - Алгоритм построения таблицы истинности. - презентация

1 - Построение логических выражений - Приоритет логических операций - Алгоритм построения таблицы истинности

2 1)Какие существуют основные формы мышления? 2)Логическое высказывание – это… 3)Какие логические операции вам известны? 4)С помощью какой связки слов составляется высказывание – эквивалентность? 5) Найдите значение выражения: 1)(1 & 0) => 0 2)(¬1 ν 0) & 0 3)(0 & ¬1) 0 4)(¬1 ν 0) => 1 5)(0 ν ¬0) (1 ν ¬1) 6)(1 & 1 ν 0) 0

3 Каждое составное высказывание можно выразить в виде формулы (логического выражения). Логическое выражение включает: - логические переменные (высказывания); - знаки логических операций.

4 При выполнении логических операций определен следующий порядок: 1. Инверсия 2. Конъюнкция 3. Дизъюнкция 4. Импликация 5. Эквивалентность

5 Таблицу, которая показывает какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют таблицей истинности составного высказывания.

6 1.Подсчитать количество переменных n в логическом выражении; 2.Определить количество строк в таблице истинности; количество строк m = 2 n 3.Подсчитать количество логических операций в логическом выражении; 4.Определить количество столбцов в таблице, которое равно количеству логических переменных плюс количество логических операций; 5.Ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; 6.Заполнить столбцы входных переменных наборами значений; 7.Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.

7 1.Подсчитать количество переменных n в логическом выражении; 2.Определить количество строк в таблице истинности. количество строк m = 2 n

8 3. Подсчитать количество логических операций в логическом выражении 4. Определить количество столбцов в таблице, которое равно количеству логических переменных плюс количество логических операций.

9 5. Ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; AB

10 AB 6. Заполнить столбцы входных переменных наборами значений

11 AB Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью

12 ABС

13 Если при всех одинаковых наборах логических переменных значения выражений совпадают, то они называются эквивалентными или равносильными. Доказать, что выражения эквивалентны. Доказательство: Составим для выражений F 1 и F 2 таблицы истинности, объединив их в одну. AB

14 Сколько различных решений имеет уравнений: ABСF Ответ:

15 Используя таблицу истинности определить участника ралли. Истинность двух высказываний: «неверно, что если гонщик В участвует в ралли, то гонщик С участвует в ралли» и «если гонщик А участвует в ралли, то гонщик В не участвует» означает участие в ралли гонщиков : Построим для выражений F1 и F2 таблицы истинности, объединив их в одну.

16 ABС

17 ОАН ТЦИ РИЕ ЕПЕНЯ РЕМНА ДЪЮЯИ ИЗНКЦ ЯКНКО ИЦЮЪН В табличках приведены слова, связанные с логикой, причем буквы слов записаны змейкой, то есть их можно читать в любом направлении по горизонтали и вертикали (слева направо, снизу вверх и т. п.), но не по диагонали.

18 Разгадай натворд и узнаешь зашифрованное ключевое слово. По горизонтали: 1.Логическое значение высказывания; 2.Логическая умножение; 3.Совокупность четко определённых правил для решения задачи за определённое количество шагов; 4.Логическая операция; 5.Повествовательное предложение в логике; 6.Есть в арифметике, есть в логике и т.д. Кодовое слово 1 по вертикали