ТЕМА УРОКА: Логические выражения и таблицы истинности

Класс: 10
Предмет: Информатика
Школа: МБОУ СОШ №12, города Арзамаса
ФИО учителя: Лазарева Наталья Владимировна

Дидактические основания урока:

Метод обучения: объяснительно-иллюстративный. практический;
тип урока: комбинированный;
формы учебной работы учащихся: фронтальная работа, индивидуальная работа.

Теоретическая часть урока построена на основе презентации

Практическая часть урока состоит из двух частей: построена на основе работы с

учителем (фронтальная работа) и проверки полученных знаний с помощью
тестов в конце урока (индивидуальная и групповая).
Цели урока:
понимать: что логические выражения - это формулы, что истинность
логического выражения, образованного с помощью логических операций,
можно установить, используя таблицы истинности;

знать: правила построения таблиц истинности; как по таблице истинности

установить истинность логического выражения;

уметь: заменять любые высказывания логическими переменными; строить

таблицы истинности; вычислять значение логического выражения.

Задачи урока:

 обучающие – дать учащимся представление о подходах к пониманию

алгебры высказываний, научить строить по логическим выражениям
таблицы истинности; научить учащихся строить логические выражения;
научить применять их для решения логических задач;
 развивающие – развитие познавательного интереса учащихся; памяти;
внимания; обучение рациональным способам построения таблиц
истинности; развитие логического мышления; выработка рефлексивных
навыков оценки собственной мыслительной деятельности через
экспериментальное получение результатов; формирование навыков
эвристического мышления.
 воспитательные – воспитание чувства ответственности, аккуратности,
трудолюбия; сочетание индивидуальной и коллективной работы;
ответственность за выполнение домашнего задания.

1
Оборудование и материалы к уроку:
1. ПК;
2. Мультимедийный проектор;
3. Принтер
4. Текстовый документ, раздаточный материал, карточки с индивидуальными
заданиями;
5. Презентация, подготовленная MS PowerPoint$
6. Кроссворд, подготовленный MS Excel

ОРГАНИЗАЦИОННАЯ СТРУКТУРА УРОКА

ЭТАП 1 Организационный
Цель Актуализация внимания учащихся на
урок
Длительность этапа 2 минуты
Форма организации деятельности Восприятие цели урока, настрой на урок
учащихся
Функции преподавателя на Настроить учащихся на урок,
данном этапе сконцентрировать внимание учащихся на
теме урока.
Основной вид деятельности со Демонстрация презентация (1 слайд)
средствами ИКТ
ЭТАП 2 Повторение пройденного материала
Цель Актуализация знаний учащихся
Длительность этапа 10 минут
Основной вид деятельности со Работа по заданиям на карточках.
средствами ИКТ Проверка осуществляется с помощью
демонстрации презентации (2,3,4,5) ,
Форма организации деятельности 1 задание – устная фронтальная работа (
учащихся кроссворд)
2 задание – работа в парах
3 задание – групповая работа
4 задание- индивидуальная работа на
карточках
Функции преподавателя на организующая
данном этапе
Промежуточный контроль выборочный
ЭТАП 3 Изучение нового материала
Цель Познакомить учащихся с этапами
построения таблицы истинности, с
понятием равенство двух логических
выражений
Длительность этапа 15 минут
Основной вид деятельности со Демонстрация презентации (6-23 слайд)
средствами ИКТ
2
Форма организации деятельности Индивидуальная,
учащихся
Функции преподавателя на Изложение нового материала
данном этапе
ЭТАП 4 Закрепление новых знаний
Цель Проверить степень понимания нового
материала
Длительность этапа 5 минут
Основной вид деятельности со Демонстрация презентации (24 слайд)
средствами ИКТ
Форма организации деятельности Самостоятельная работа учащихся в
учащихся тетради
Функции преподавателя на Организующая, консультирующая
данном этапе
Промежуточный контроль Самоконтроль
ЭТАП 5 Контроль и самопроверка знаний
Цель Проверить степень усвоения нового
материала
Длительность этапа 8 минут
Основной вид деятельности со карточки с заданиями
средствами ИКТ
Форма организации деятельности Индивидуальная, работа в паре
учащихся
Функции преподавателя на Организующая, консультирующая,
данном этапе направляющая
Промежуточный контроль Самоконтроль
ЭТАП 6 Подведение итогов. Рефлексия
Цель Обобщить знания учащихся полученные
на уроке
Длительность этапа 3 минут
Основной вид деятельности со
средствами ИКТ
Форма организации деятельности Рефлекторное осмысление
учащихся
Функции преподавателя на организующая
данном этапе
Итоговый контроль Оценивание каждого учащегося
ЭТАП 7 Домашнее задание
Цель Закрепление знаний полученных на уроке
Длительность этапа 2 минуты
Основной вид деятельности со Демонстрация презентации (25 слайд)
средствами ИКТ
Форма организации деятельности индивидуальная

3
 учащихся
Функции преподавателя на консультирующая, направляющая
данном этапе

1 ЭТАП 1 Организационный
Сегодня на уроке мы знакомимся с понятием «таблица истинности», научимся
строить таблицы истинности.
В ходе урока нам предстоит:
1.вспомнить изученные вопросы темы «Алгебра логики»
2.изучить новый материал по теме «Построение таблицы истинности»
3.по результатам работы на уроке каждый получает оценку,
характеризующую эффективность усвоения материала

ЭТАП 2 Повторение пройденного материала

Устная работа
1 задание – фронтальная работа с классом

5 8 По горизонтали:
1.Наука, изучающая законы и
формы мышления.
1 3.Логическое равенство.
2 0
4.Логическое сложение.
8.Форма нахождения значения
6
логического выражения
9 9.Логическое следование.
10.Простое высказывание,
содержащее только одну
4 простую мысль и обозначаемое
А, В, С, D…
3
По вертикали:
2.Повествовательное
предложение, в котором что-то
утверждается или отрицается.
5.Сложное высказывание, обозначаемое как F(A,B...)
6.Логическое умножение.
7.Логическое отрицание.
Проверка заданий осуществляется устно. Правильные ответы демонстрируются
на экране.

2 задание - парная работа

1. Даны простые высказывания:
А: “Петя умеет плавать”
В: “Сергей умеет прыгать”
4
 С: “Алеша умеет стрелять”
Даны формулы сложных высказываний, составленные из этих простых. Прочтите
их, используя смысл каждого простого высказывания:
1. А+В· C 4. А · B · С
2. A · В· C 5. А· C · B
3. А· В· C 6. À  B  C

3 задание –работа в группах.

Заполнить пустые ячейки таблицы
ФИО оценка

Название Логическая В русском

Обозначение Значение выражения
операции операция языке
Инверсия

Умножение

А или В;
А  В;

Правильное решение демонстрируются на экране.

4* задание ( дополнительное) В следующих высказываниях выделите простые,
обозначив буквой каждое из них.
Запишите с помощью букв и знаков логических операций каждое составное
высказывание:

1. Число 376 четное и трехзначное

2. Зимой дети катаются на коньках или на лыжах
3. Гости смеялись, разговаривали друг с другом и не расходились.
Контроль знаний – индивидуальная работа.
Учащиеся выполняют самостоятельную работу №1 «Основные понятия
алгебры логики»:
Вариант 1
1. Записать логическую функцию для высказывания:
Светит солнце, или идет дождь, и нет ветра
2. Приведите пример сложного истинного и сложного ложного высказывания
из курса математики.
3. Найти значение логического выражения: 1  0  1  0  1  0 
4. Даны два высказывания: А={Зима в Москве – самое теплое время года} и
B={90=2}. Определить, чему равно выражение: A  B

Вариант 2

1. Записать логическую функцию, соответствующую высказыванию: За окном

5
 светит солнце, или за окном не светит солнце и пасмурно.
2. Приведите пример сложного истинного и сложного ложного высказывания
из курса физики.
3. Найти значение логического выражения: 1  1  1  0  1  0 
4. Даны два высказывания: А={Бабочка – это насекомое} и B={75=30}.
Определить, чему равно логическое выражение: A  B
Вариант 3*

Определить истинность составного высказывания

¬A v (BΛ¬D))ΛC , где
А:= Лобачевский- основоположник логики
В:= Уравнение вида ax +b - тригонометрическое
С:= Принтер - это устройство вывода информации
Д:= Процессор - это “мозг” компьютера.

1. Запишите в словесной форму формулу х=BΛ¬CΛA, если даны исходные

высказывания:
A="Птицы поют",
B="Солнце взошло над лесом",
C="Воздух наполнен ароматом".
2. Придумать высказывание, соответствующее логической функции: A  B  A

ЭТАП 3 Изучение нового материала

( Демонстрируется слайд на котором пропущены слова(выделены красным)
дополняют сами дети).
Итак, мы уже знаем, что в алгебре высказываний высказывания могут быть
простыми (элементарными) и составными (сложными). Простым высказыванием
в соответствие ставятся логические переменные, обозначаемые заглавными
буквами латинского алфавита. Каждое составное высказывание можно выразить в
виде формулы (логического выражения).

Логическое выражение включает:

- логические переменные (высказывания);
- знаки логических операций.

При выполнении логических операций определен следующий порядок:

Приоритеты операций

1. отрицание
2. конъюнкция
3. дизъюнкция

Решение логического выражения можно представить в виде таблицы истинности.

6
Таблица истинности – это таблица, показывающая, какие значения принимает
составное высказывание при всех сочетаниях (наборах) значений входящих в
него простых высказываний

Алгоритм построения таблицы истинности:

1. подсчитать количество переменных n в логическом выражении;
2. определить число строк в таблице m = 2n;
3. подсчитать количество логических операций в формуле;
4. установить последовательность выполнения логических операций с учетом
скобок и приоритетов;
5. определить количество столбцов в таблице: число переменных плюс число
операций;
6. выписать наборы входных переменных ;
7. провести заполнение таблицы истинности по столбикам, выполняя логические
операции в соответствии с установленной в п.4 последовательностью

Наборы входных переменных, во избежание ошибок, рекомендуют

перечислять следующим образом:
а) определить количество наборов входных переменных;
б) разделить колонку значений первой переменной пополам и заполнить верхнюю
часть колонки 0, а нижнюю —1;
в) разделить колонку значений второй переменной на четыре части и заполнить
каждую четверть чередующимися группами 0 или 1, начиная с группы 0;
г) продолжать деление колонок значений последующих переменных на 8, 16 и т.д.
частей и заполнение их группами 0 или 1 до тех пор, пока группы 0 и 1 не будут
состоять из одного символа.

Пример Для формулы A (B   ) построить таблицу истинности

Решение:

1. Количество логических переменных 3, следовательно, количество строк в

таблице истинности должно быть 23 = 8.

2. Количество логических операций в формуле 5, следовательно количество

столбцов в таблице истинности должно быть 3 + 5 = 8.

A B C С B( С ) A (B  С )
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
7
 1 1 1 0 0 0 1 1

Пробное применение знаний:

Учащимся предлагается решить задачу

Задача 1. Определить истинность следующего высказывания: «За окном светит

солнце, и нет дождя».

Решение:
Нам дано сложное составное высказывание. Выделим из него простые
высказывания:
А = «За окном светит солнце»
В = «За окном дождь»

Составим логическую функцию, соответствующую данному высказыванию.

F(A, B) = A /\ ¬B

построим таблицу истинности для данной логической функции (используем

интерактивную доску)

A B ¬B A /\ ¬B A B ¬B A /\ ¬B
0 0 0 0 1 0
0 1 0 1 0 0
1 0 1 0 1 1
1 1 1 1 0 0

(по заполненной таблице учащимся предлагается сделать вывод)

Ответ: логическое выражение принимает значение истина только при наборе
F(1,0)=1.Следовательно, данное нам высказывание истинно только тогда, когда
первое простое высказывание истинно, а второе ложно.

Упражнения с переносом знаний в новые условия:

1. Дан фрагмент таблицы истинности выражения F:

X Y Z F
0 0 0 1
0 0 1 0
8
 0 1 0 1

Какое выражение соответствует F?

1) ¬X/\¬Y/\Z 2) ¬X\/¬Y\/Z 3) X\/Y\/¬Z 4) X\/Y\/Z

Решение (вариант 1, через таблицы истинности):

Чтобы решить данную задачу можно построить часть таблицы истинности
для каждой из четырех функций, заданных в ответе для заданных наборов
входных переменных, и сравнить полученные таблицы с исходной:

X Y Z F ¬X ¬Y ¬Z ¬X/\¬Y/\Z ¬X\/¬Y\/Z X\/Y\/¬Z X\/Y\/Z

0 0 0 1 1 1 1 0 1 1 0
0 0 1 0 1 1 0 1 1 0 1
0 1 0 1 1 0 1 0 1 1 1

Ответ: 3
(можно предложить учащимся подумать над другим способом решения)
Решение (Вариант 2):
Чтобы не строить таблицу истинности для каждого выражения, можно просто
перепроверить предложенные ответы по заданной таблице истинности. Т.е. в
каждую из четырех предложенных функций последовательно подставлять
значения переменных X, Y и Z, из заданной таблицы истинности и вычислять
значения логического выражения. Если значения вычисляемого выражения
совпадут со значением F во всех трех строчках заданной таблицы, то это и есть
искомое выражение.

Рассмотрим данный конкретный пример:

1) первое заданное выражение ¬X/\¬Y/\Z = 0 при X=0, Y=0, Z=0, что не
соответствует первой строке таблицы;
2) второе заданное выражение ¬X\/¬Y\/Z = 1 при X=0, Y=0, Z=1, что не
соответствует второй строке таблицы;
3) третье выражение X\/Y\/¬Z соответствует F при всех предложенных
комбинациях X,Y и Z;
4) четвертое выражение X\/Y\/Z = 1 при X=0, Y=0, Z=1, что не соответствует
второй строке таблицы.
Ответ: 3
ЭТАП 4 Закрепление новых знаний

1.Построить таблицы истинности для следующих выражений:

а) А (В );
2.Выбрать составное высказывание, имеющее ту же таблицу истинности,
что и
9
 ( А  (В  С ) ).
(Задание на слайде. Таблица истинности для выражения в ( А  (В  С ) ).
выполняется на доске, для выражений 1-4 таблицы истинности строятся в
тетради)
1) А  В  С  А;
2) А  (В  С);
3) А  (  ).
4) (А  В)  (А  С);

ЭТАП 5 Контроль и самопроверка знаний

Индивидуальная работа по вариантам, после выполнения заданий идет проверка
в парах с оцениванием.

Вариант 1
1. Составить таблицы истинности
(А  В)  (  А В)

2. Заполнить пустые ячейки таблицы

А В (А  В) ( А  В)  ( А  В) А  ( А  В)
0 0 1 1
0 1 0 1 0
1 1 0
0 0 0 1

Вариант 2
1. Составить таблицы истинности
((Х  Y)  (С  Z))  (Z Y)

2. Заполнить пустые ячейки таблицы

А В С ¬B СА (С  А) Λ ¬В
0 0 1 1
0 0 0
1 1 1
1 1 1

ЭТАП 6 Подведение итогов. Рефлексия

Личностное осмысление каждым учеником результатов урока:
1. Что было наиболее трудным?
2. Что удалось лучше всего?
(Прием «Пометки на полях»)

ЭТАП 7 Домашнее задание

Уровень знания: знать, что такое таблица истинности, уметь строить таблицу
истинности
10
 Уровень понимания: составить таблицы истинности и определить истинность
формулы

Домашняя проверочная работа.

1 вариант
1. Равенство (A VB) Λ (B V ¬C)=0 выполняется при значениях...
1) A=0, B=1, C=1 2) A=1, B=0, C=0 3) A=1, B=0, C=1 4) A=1, B=1, C=0

2. Выражению F = ¬A VA Λ B соответствует таблица истинности...

1) 2) 3) 4)

A B F A B F A B F
A B F
0 0 1 0 0 0 0 0 0
0 0 0
0 1 1 0 1 0 0 1 0
0 1 1
1 0 1 1 0 0
1 0 0 1 0 0
1 1 1 1 1 1
1 1 1 1 1 1

3. Составить таблицу истинности

A V ( ¬B V ¬C )

4. Приведенная таблица истинности соответствует выражению:

1) C = ¬ A Λ ¬ B 2) C = A Λ ¬ B A B C
4) C = A V ¬ B 3) C = ¬ A V ¬ B 0 0 1
0 1 0
1 0 1
5.* Составить таблицу истинности.

 А  ВАВС  А  С АС
1 1 1

2 вариант

1. Равенство (A Λ C) Λ (B V C)=1 выполняется при значениях...

1) A=0, B=1, C=0 2) A=0, B=1, C=1 3) A=1, B=0, C=0 4) A=1, B=0, C=1

4. Выражению F = ¬A Λ B V A соответствует таблица истинности...

1) 2) 3) 4)
A B F
A B F A B F A B F
0 0 0
0 0 0 0 0 0 0 0 0
0 1 1
0 1 1 0 1 1 0 1 0
1 0 0
1 0 1 1 0 0 1 0 1
1 1 0
1 1 1 1 1 1 1 1 1

11
3. Составить таблицу истинности
(АВ)(АС)
4. Приведенная таблица истинности соответствует выражению:

A B C
1) C = ¬ A Λ ¬ B 2) C = A Λ ¬ B
0 0 1
3) C = ¬ A V¬ B 4) C = ¬ A V B
0 1 0
1 0 0
5.* Составить таблицу истинности.
А  В  А  С  АВС
1 1 0

12
Раздаточный материал.

Составьте таблицы истинности:

1) F= A  (B v C)
A B C BvC A  (B v C)
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

2) F= (A & ⌐B) v (⌐A & B)

(A & ⌐B) v (⌐A & B)

3) F= A & (B v ⌐B & ⌐C)

A & (B V ⌐B & ⌐C)

13
 Домашняя проверочная работа.
1 вариант
1. Равенство (A | B) & (B | ¬C)=0 выполняется при значениях...
1) A=0, B=1, C=1 2) A=1, B=0, C=0 3) A=1, B=0, C=1 4) A=1, B=1, C=0

2. Выражению F = ¬A | A & B соответствует таблица истинности...

1) 2) 3) 4)

A B F A B F A B F
A B F
0 0 1 0 0 0 0 0 0
0 0 0
0 1 1 0 1 0 0 1 0
0 1 1
1 0 1 1 0 0
1 0 0 1 0 0
1 1 1 1 1 1
1 1 1 1 1 1

3. Составить таблицу истинности

A V ( ¬B V ¬C )

4. Приведенная таблица истинности соответствует выражению:

A B C 1) C = ¬ A & ¬ B 2) C = A & ¬ B
0 0 1 4) C = ¬ A → ¬ B 3) C = ¬ A | ¬ B
0 1 0
1 0 1
1 1 1

5.* Составить таблицу истинности.

 А  ВАВС  А  С АС
2 вариант

1. Равенство (A & C) & (B | C)=1 выполняется при значениях...

1) A=0, B=1, C=0 2) A=0, B=1, C=1 3) A=1, B=0, C=0 4) A=1, B=0, C=1
4. Выражению F = ¬A & B | A соответствует таблица истинности...
1) 2) 3) 4)
14
 A B F A B F
0 0 0 0 0 0
0 1 0 0 1 1
1 0 1 1 0 0
1 1 1 1 1 0

3. Составить таблицу истинности

(АВ)(АС)

4. Приведенная таблица истинности соответствует выражению:

A B C 1) C = ¬ A & ¬ B 2) C = A & ¬ B
0 0 1 3) C = ¬ A | ¬ B 4) C = ¬ A → ¬ B
0 1 0
1 0 0
1 1 0

5.* Составить таблицу истинности.

А  В  А  С  АВС
Индивидуальная работа по вариантам

Вариант 1
3. Составить таблицы истинности
(А  В)  (  А В)

4. Заполнить пустые ячейки таблицы

А В (А  В) ( А  В)  ( А  В) А 
( А  В)
0 0 1 1
A B F A B F
0 0 0 0 0 0
0 1 1 0 1 1
1 0 1 1 0 0
1 1 1 1 1 1

15
0 1 0 1 0
1 1 0
0 0 0 1

Вариант 2
3. Составить таблицы истинности
((Х  Y)  (С  Z))  (Z Y)

4. Заполнить пустые ячейки таблицы

А В С СА (С  А) →В
0 0 0 1
0 0
0 1 0
1 1 1 1

16