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

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

2 Приоритет логических операций При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету: 1. инверсия 2. конъюнкция 3. дизъюнкция 4. импликация и эквивалентность Для изменения порядка действий используются скобки.

3

4

5 Алгоритм построения таблицы истинности сложного высказывания 1. Вычислить количество строк и столбцов таблицы истинности. Количество строк = 2 n + 2 строки заголовка, где n – количество простых высказываний. Количество столбцов = сумме количества переменных и количества логических операций.

6 2. Начертить таблицу и заполнить заголовок. Первая строка заголовка – номера столбцов. Вторая строка заголовка – промежуточные формулы и соответствующие им условные записи операций Алгоритм построения таблицы истинности сложного высказывания

7 3. Заполнить первые n столбцов. Для n = 3 количество строк со значениями переменных равно 8. 8:2=4: в 1-м столбце чередуем 4 нуля и 4 единицы. 4:2=2: в 2-м столбце чередуем 2 нуля и 2 единицы. 2:2=1: в 3-м столбце чередуем 1 ноль и 1 единицу. 4. Заполнить остальные столбцы.

8 Задание 1 Построить таблицу истинности для логического выражения: A & (B v B & C)

9 Задание 2 Доказать, что логические выражения A & B и A v B равносильны.