Таблица истинности

1. ТАБЛИЦЫ ИСТИННОСТИ

МК
ТАБЛИЦЫ ИСТИННОСТИ
ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ
И АЛГЕБРЫ ЛОГИКИ

2. Ключевые слова

МК
Ключевые слова
• таблицы истинности
• логическая функция
• равносильные (эквивалентные)
логические выражения

3. Таблица истинности

МК
Таблица истинности
!
А
0
1
!
Таблицу значений, которые принимает логическое
выражение при всех сочетаниях значений (наборах)
входящих в него переменных, называют таблицей
истинности логического выражения.
Таблицы истинности логических операций
А В A&B А∨B A→B A⊕B A↔B
A
0
0
0
0
1
0
1
1
0
1
0
1
1
1
0
0
1
0
0
1
0
1
0
1
1
1
1
1
0
1
Функцию от n переменных, аргументы которой и сама
функция принимают только два значения – 0 и 1,
называют логической функцией.
Таблица истинности может рассматриваться как
способ задания логической функции.

4. Построение таблиц истинности

МК
Построение таблиц истинности
Определить количество строк таблицы m = 2n , где n количество переменных в логическом выражении
Определить число столбцов таблицы - сумма количества логических переменных и операций в выражении
Установить последовательность выполнения логических операций с учётом скобок и приоритетов операций
Заполнить строку с заголовками столбцов таблицы
истинности (имена переменных, номера операций)
Выписать наборы входных переменных (ряд целых
n-разрядных двоичных чисел от 0 до 2n – 1)
Провести заполнение таблицы истинности по столбцам,
выполняя логические операции

5. Пример построения таблицы истинности

МК
Пример построения таблицы истинности
Построим таблицу истинности для логического выражения
3
5 1 4 2
A&B∨A&B
Сколько
строк
А
В будет1 в таблице?
2
3
4
5
В этом выражении две переменные – А и В.
0
0
1
0
1
1
В таблице
будет 5 строк
(22 1плюс строка
заголовка).
1
0
0
0
0
0
1
Сколько столбцов будет в таблице?
В логическом
две
переменные
0
1 логические
0
0
0и
1
0 выражении
пять логических операций. Итого 7 столбцов.
1
1
0
0
1
0
1
Строим
таблицу
наборы
из входных
5 на
строк
ипеременных
7 столбцов.
заголовок
таблицы
ссогласно
учётом
Заполним
столбцы
таблицы
Обратите
внимание
последний
столс
учётом
того,
чтоконечный
они
представляют
приоритета
логических
операций
(поряправилам
определения
истинности
бец,
содержащий
результат.
собой
целых
двухразрядных
док
операций:
инверсия,
логических
операций.
Какойвыполнения
изряд
рассмотренных
логических
двоичных
чисел
от 0 до 3.
конъюнкция,
дизъюнкция).
операций
он
соответствует?

6. Эквивалентные выражения

МК
Эквивалентные выражения
!
?
Логические выражения, зависящие от одних и тех же
логических переменных, называются равносильными или эквивалентными, если для всех наборов
входящих в них переменных значения выражений в
таблицах истинности совпадают.
А
В
А ∧A
В→
∨ A
B∧ В
A
А↔
∨B
B
0
0
11
1
0
1
10
0
1
1
0
00
1
1
11
Ответ
0
1
С помощью таблиц истинности докажите
равносильность выражений A → B и А ∨ B.

7. Анализ таблиц истинности

МК
?
Анализ таблиц истинности
№ 1. Известен фрагмент таблицы истинности для логической функции F (А, В, С). Сколько из приведённых ниже
логических выражений соответствуют этому фрагменту?
Таблица
а) (A ∨ С) & В
А В С F
б) (A ∨ В) & (C → A)
Таблица
1
0
1
0
в) (A & В ∨ С) & (В → A & С)
Таблица
1
1
0
1
г) (A → В) ∨ (С ∨ A → В)
Таблица
1
1
1
1
Ответ: 2 (а, г)
Ответить на поставленный вопрос можно,
вычислив значение каждого логического выражения на заданном наборе переменных и
сравнив его с имеющимся значением F.
Вычисления будем производить построчно.
Ответ

8. Анализ таблиц истинности

МК
?
Анализ таблиц истинности
№ 2. Дана логическая функция:
F (x, y, z) = (x ∨ y ∨ z ) & (x ∨ y).
Справа приведён фрагмент таблицы
истинности, содержащий все наборы
переменных, на которых F истинна.
Определите, какому столбцу таблицы
соответствует каждая из переменных.
?z
?y
?x
F
0
0
0
1
0
1
0
1
0
1
1
1
1
0
0
1
1
1
1
1
Существуют разные подходы к решению подобных задач:
1) построение полной таблицы истинности
Решение
2) методом рассуждений
Решение
Ответ

9. Анализ таблиц истинности

МК
Самое главное
Таблицу значений, которые принимает логическое
выражение при всех сочетаниях значений (наборах)
входящих в него переменных, называют таблицей
истинности логического выражения.
Истинность логического выражения можно доказать путём
построения его таблицы истинности.
Функцию от n переменных, аргументы которой и сама
функция принимают только два значения – 0 и 1, называют
логической функцией.
Таблица истинности может рассматриваться как способ
задания логической функции.

10. Анализ таблиц истинности

МК
?
Вопросы и задания
№ 3. Проверьте правильность решения
задания №2. Для этого составьте таблицу
истинности.
F (x, y, z) = (x ∨ y ∨ z ) & (x ∨ y).
z
y
x
F
0
0
0
1
0
1
0
1
0
1
1
1
1
0
0
1
1
1
1
1