Тема урока. Построение таблиц истинности
Цели: ознакомить учащихся с понятием таблицы истинности, сформировать навыки построения таблиц истинности.
Требования к знаниям и умениям:
Учащиеся должны знать:
Учащиеся должны уметь:
Ход урока
1. Орг. момент.
2. Повторение пройденного материала.
Проверочная работа по вариантам: варианты заданий
Составить таблицы истинности для:
конъюнкции;
дизъюнкции;
инверсии;
импликации;
эквиваленции.
Найти значения логических выражений.
3. Изложение нового материала
Решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.
Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют таблицей истинности составного высказывания.
Алгоритм построения таблицы истинности:
1) подсчитать количество переменных n в логическом выражении;
2) определить число строк (m) в таблице, которое равно m = 2n + 1 (строка для заголовка);
3) подсчитать количество логических операций в логическом выражении и определить количество столбцов в таблице, которое равно количеству переменных плюс количество операций;
4) ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов.
Логические операции имеют следующий приоритет: (повторить вместе с учащимися)
1. Действия в скобках
2. Инверсия
3. Конъюнкция
4. Дизъюнкция
5. Импликация
6. Эквиваленция
5) заполнить столбцы входных переменных наборами значений;
6) провести заполнение таблицы истинности по столбцам, выполняя логические операции.
Наборы входных переменных, во избежание ошибок, рекомендуют перечислять следующим образом:
а) определить количество наборов входных переменных;
б) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки 0, а нижнюю —1;
в) разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами 0 или 1, начиная с группы 0;
г) продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами 0 или 1 до тех пор, пока группы 0 и 1 не будут состоять из одного символа.
4. Закрепление изученного
Задание 1. Построим таблицу истинности для логического выражения :
F=(
V
) & (A V B).
Решение .
Количество строк = 22 (2 переменных) + 1 (заголовки столбцов) = 5
Количество столбцов = 2 логические переменные (А, В) + 5 логических операций (¬, V, ¬, V, &) = 7.
Расставим порядок выполнения операций:
1 3 2 5 4
F=(
V
) & (A V B).
Начертим и заполним таблицу истинности:
| А | В | | | V | A V B | ( V ) & (A V B). |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 1 | 0 |
Задание 2. Для формулы F= A & (B V
&
) построить таблицу истинности .
Решение.
Количество логических переменных 3, следовательно, количество строк в таблице истинности должно быть 23 = 8 + 1 (строка для заголовка).
Количество логических операций в формуле 5, следовательно, количество столбцов в таблице истинности должно быть 3 + 5 = 8.
Укажем порядок действий: 5 4 1 3 2
A & (B V
&
)
Начертим и заполним таблицу истинности:
| A | B | C | | | & | B V & | A & (B V & ) |
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
Задание 3. Построим таблицу истинности для логического выражения
F= А V
& В.
Решение.
Количество строк = 23 + 1 = 9.
Количество столбцов = 3 логические переменные + 3 логических операций = 6.
Укажем порядок действий:
3 1 2
F= А V
& В.
Начертим и заполним таблицу истинности:
| А | В | С | | & В | А V & В |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 |
5. Рефлексия.
Изучили: Алгоритм построения таблиц истинности логических выражений.
Оценивается работа класса и называются учащиеся, отличившиеся на уроке.
6. Домашнее задание
Составить таблицы истинности для логических выражений:
1) F= A & (B V
) 2) F = A & (
V
) & B