ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить. - презентация

1 ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить как логические переменные буквами и связать их с помощью знаков логических операций. Такие формулы называются логическими выражениями. Например: Чтобы определить значение логического выражения необходимо подставить значения логических переменных в выражение и выполнить логические операции. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке: 1. инверсия; 2. конъюнкция; 3. дизъюнкция; 4. импликация и эквивалентность. Для изменения указанного порядка выполнения логических операций используются круглые скобки.

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

3 Учимся составлять таблицу истинности сложных выражений 1. Необходимо определить количество строк в таблице истинности. количество строк = 2 n, где n – количество логических переменных F = (AvB) & (A^B)F = (A ^ B) & (A v B)

4 Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 2. Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций. F = (A ^ B) & (A v B)

5 Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 3. Необходимо ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов; ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

6 Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 4. Заполнить столбцы входных переменных наборами значений ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

7 Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) 5. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. ABA ^ BA v B(A^B) & (AvB) F = (A ^ B) & (A v B)

8 Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) ABA ^ BA v B(A^B) & (AvB) Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. F = (A ^ B) & (A v B)

9 Учимся составлять таблицу истинности сложных выражений F = (AvB) & (A^B) ABA ^ BA v B(A^B) & (AvB) Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью. F = (A ^ B) & (A v B)

10 Составить таблицу истинности логического выражения А * (В + В * С)

11 Таблица истинности логического выражения