Урок предназначен для учащихся 8 классов. Разработка содержит технологическую карту и презентацию к ней.
Просмотр содержимого документа
«технологическая карта таблицы истинности»
Просмотр содержимого презентации
«таблицы истинности»
Высказывание - это предложение на любом языке, содержание которого можно ………..определить как истинное или ложное .
Алгебра логики определяет правила записи, вычисления значений, упрощения и преобразования…………………..
Высказывания бывают …………… и сложные.
Конъюнкция - логическая операция, ставящая в соответствие каждым двум высказываниям новое высказывание, являющееся ………. тогда и только тогда, когда оба исходных высказывания истинны.
Инверсия - логическая операция, которая каждому высказыванию ставит в соответствие новое высказывание, значение которого ……………. исходному.
Дизъюнкция - логическая операция, которая каждым двум высказываниям ставит в соответствие новое высказывание, являющееся ………………. тогда и только тогда, когда оба исходных высказывания ложны.
Построение таблиц истинности для логических выражений
Цель урока
- Узнать как построить таблицу истинности для логического выражения
Построение таблиц истинности для логических выражений
подсчитать n - число переменных в выражении
подсчитать общее число логических операций в выражении
установить последовательность выполнения логических операций
определить число столбцов в таблице
заполнить шапку таблицы, включив в неё переменные и операции
определить число строк в таблице без шапки: m =2 n
выписать наборы входных переменных
провести заполнение таблицы по столбцам, выполняя логические
операции в соответствии с установленной последовательностью
Пример построения таблицы истинности
А V A & B
n = 2, m = 2 2 = 4 .
Приоритет операций: &, V
A
B
A&B
A V A&B
0
0
0
0
1
1
1
0
0
0
0
1
0
1
1
1
Доказательство закона
Распределительный закон для логического сложения: A v (B & C) = (A v B) & (A v C).
A
B
0
C
0
0
B&C
0
0
0
A v (B & C)
0
1
1
A v B
0
1
1
A v C
1
0
1
(A v B) & (A v C)
0
0
1
1
1
1
0
1
1
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
1
1
1
1
1
1
1
1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
1
1
Равенство выделенных столбцов доказывает распределительный закон.
Умножаем В на С и выводим результат.
Складываем А и ( В & С ) и выводим результат.
Умножаем ( А v B ) на ( A v C )и выводим результат.
Складываем А и C и выводим результат.
Складываем А и В и выводим результат.
- Вам было легко или были трудности?
- Что у вас получилось лучше всего и без ошибок?
- Как бы вы оценили свою работу?