Просмотр содержимого документа
««Построение таблиц истинности» »
«Построение таблиц истинности»
Информатика 10 класс
План урока
вспомнить изученные вопросы темы «Алгебра логики»
изучить новый материал по теме «Построение таблиц истинности»
по результатам работы на уроке каждый получает оценку
Повторение пройденного материала
работа по вариантам на карточках
индивидуальная работа
1 задание
2 задание
3 задание
2 задание
-АВ -ложь
АВ -истина
ВА -ложь
АВ-истина
1 задание
По мишеням произведено три выстрела. Рассмотрено высказывание: Рк= «мишень поражена к-ым выстрелом», где к=1,2,3. Что означают следующие высказывания.
1 задание
Р1Р2Р3
Одним из трех выстрелов попали в мишень
- Р1Р2Р3
Всеми тремя выстрелами попали в мишень
3 задание
заполнить таблицу
Формула
Высказывание
A
Зверь полосатый
Тигр
B
A
Волк
Зверь хищный
B
Бурундук
Заяц
A B
AB
3 задание
Формула
Высказывание
A
Зверь полосатый
Тигр
B
Волк
И
Зверь хищный
A
Бурундук
зверь не полосатый
И
Л
B
И
Л
И
Заяц
A B
зверь не хищник
Л
И
Л
AB
Л
Зверь полосатый и хищник
Л
Л
Л
И
зверь полосатый или хищник
И
И
Л
И
Л
И
И
Л
И
Л
Изучение нового материала
Таблица истинности – это таблица, показывающая, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний
Алгоритм построения таблицы истинности:
1. подсчитать количество переменных n в логическом выражении;
2. определить число строк в таблице m = 2n;
3. подсчитать количество логических операций в формуле;
4. установить последовательность выполнения логических операций с учетом скобок и приоритетов;
5. определить количество столбцов в таблице: число переменных плюс число операций;
6. выписать наборы входных переменных ;
7. провести заполнение таблицы истинности по столбикам, выполняя логические операции в соответствии с установленной в п.4 последовательностью
Наборы входных переменных
а) определить количество наборов входных переменных;
б) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки 0, а нижнюю —1;
в) разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами 0 или 1, начиная с группы 0;
г) продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами 0 или 1 до тех пор, пока группы 0 и 1 не будут состоять из одного символа.
Приоритетыопераций
Построимтаблицу истинности выражения
A(BВС)
Количество логических переменных 3, следовательно, количество строк в таблице истинности должно быть 23 = 8.
Количество логических операций в формуле 5, следовательно количество столбцов в таблице истинности должно быть 3 + 5 = 8.
установим последовательность выполнения логических операций с учетом скобок и приоритетов
А
В
С
В
С
В С
B(В С )
A(BВС)
заполним наборы входных переменных
А
0
В
0
С
0
В
С
0
1
В С
1
B ( В С )
1
A ( BВС)
1
заполним наборы входных переменных
А
0
В
0
0
С
0
В
0
1
0
С
1
1
В С
0
1
B ( В С )
1
0
A ( BВС)
1
1
1
заполним наборы входных переменных
А
В
0
0
0
С
0
В
0
0
1
0
С
1
В С
1
1
0
0
1
B ( В С )
1
A ( BВС)
1
0
0
1
1
1
1
0
1
проведем заполнение таблицы истинности по столбикам
А
0
В
0
0
С
0
0
В
0
1
1
С
0
1
1
В С
1
1
0
0
0
1
B ( В С )
1
0
A ( BВС)
1
0
0
1
1
1
1
1
1
0
0
1
0
проведем заполнение таблицы истинности по столбикам
А
В
0
0
С
0
0
В
0
0
1
1
С
0
1
1
1
1
1
В С
0
0
0
1
0
1
B ( В С )
1
1
0
0
0
A ( BВС)
1
1
1
1
0
0
1
1
1
0
0
1
1
0
0
проведем заполнение таблицы истинности по столбикам
А
0
В
0
С
0
В
0
0
0
1
1
С
1
0
1
1
1
1
0
В С
0
1
0
B ( В С )
0
1
1
1
0
0
0
A ( BВС)
1
0
1
1
0
1
1
0
1
1
0
1
0
1
0
1
0
0
1
0
0
0
0
проведем заполнение таблицы истинности по столбикам
А
0
В
0
С
0
0
0
0
В
1
1
1
С
0
1
1
В С
1
1
0
0
0
1
B ( В С )
1
1
0
0
1
0
0
1
A ( BВС)
0
1
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
1
0
0
1
0
1
0
1
0
1
0
0
1
0
0
1
0
0
1
1
1
Закрепление новых знаний
а) А(ВВ)
б)А(ВВ→С)
* в)А(ВВ)А(В→С)
Контроль и самопроверка знаний
Рефлексия
Что было наиболее трудным?Что удалось лучше всего?
Что было наиболее трудным?
Что удалось лучше всего?
Домашнее задание
Уровень знания : знать, что такое таблица истинности, уметь строить таблицу истинности
Уровень понимания: составить таблицы истинности и определить истинность формулы