Логические выражения и таблицы истинности (11 класс)

Урок по информатике в 11 классе.

Тема: Логические выражения и таблицы истинности
Цели: построение таблиц истинности логических выражений.

Задачи:

Научить составлять логические выражения из высказываний;
Ввести понятие “таблица истинности логического выражения”;
Изучить последовательность действий построения таблиц истинности;
Научить находить значение логических выражений посредством построения таблиц истинности;
Ввести понятие равносильности логических выражений;
Научить доказывать равносильность логических выражений, используя таблицы истинности;
Закрепить навыки нахождения значений логических выражений посредством построения таблиц истинности.
Ожидаемые результаты обучения:
Учащиеся должны знать:
таблицы истинности логических операций;
этапы составления таблиц истинности логических выражений;
понятие равносильные логические выражения.
Учащиеся должны уметь:
строить и заполнять таблицу истинности логического выражения;
находить значение логических выражений посредством построения таблиц истинности;
доказывать равносильность логических выражений, используя таблицы истинности.

Ход урока

I. Организационный момент.
Здравствуйте, ребята. Мы продолжаем изучать основы логики и тема нашего сегодняшнего урока «Составление логических выражений. Таблицы истинности». Изучив данную тему, вы научитесь, как из высказываний составляются логические формы, и определять их истинность посредством составления таблиц истинности.

II. Проверка домашнего задания.

III. Изложение нового материала.
1. Построение таблиц истинности.
Мы уже несколько уроков используем понятие “таблица истинности”, определим же его.
Таблица истинности это таблица, устанавливающая соответствие между возможными наборами значений логических переменных и значениями функций.
При построении таблиц истинности есть определенная последовательность действий:
Необходимо определить количество строк в таблице истинности: количество строк равно 2n, где n количество логических переменных.
Необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.
Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов;
Заполнить столбцы входных переменных наборами значений;
Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.
Пример. Построить таблицу истинности для составного высказывания:
13 EMBED Equation.3 1415
1). Определим количество строк в таблице. Для этого: считаем количество переменных, в нашем случае логическая функция содержит 2 переменные: А и В.
Количество строк в таблице истинности должно быть равно 22=4.
2). Определяем количество столбцов. Это количество логических переменных плюс количество логических операций.
В нашем случае количество переменных равно двум, а количество логических операции пяти, то есть количество столбцов таблицы истинности равно семи.
3). Строим таблицу с указанным количеством строк и столбцов, обозначаем столбцы и вносим в таблицу возможные наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.
Можно сначала выполнить логическое отрицание или найти значение сначала в первой скобке, затем инверсию и значение во второй скобке, затем значение логического умножения между этими скобками.

A
B
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415

0
0
0
1
1
1
0

0
1
1
1
0
1
1

1
0
1
0
1
1
1

1
1
1
0
0
0
0


Теперь мы можем определить значение логической функции для любого набора значений логических переменных.

2. Равносильные логические выражения.
Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак «=».
Пример. Докажем, что логические выражения 13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415 равносильны.
Построим сначала таблицу истинности логического выражения: 13 EMBED Equation.3 1415
1). Определим количество строк в таблице. Для этого: считаем количество переменных, в нашем случае логическая функция содержит 2 переменные: А и В.
Количество строк в таблице истинности должно быть равно 22=4.
2). Определяем количество столбцов. Это количество логических переменных плюс количество логических операций.
В нашем случае количество переменных равно двум, а количество логических операции трем, то есть количество столбцов таблицы истинности равно пяти.
3). Строим таблицу с указанным количеством строк и столбцов, обозначаем столбцы и вносим в таблицу возможные наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.
Сначала необходимо выполнить логическое отрицание А, а затем логическое отрицание В. Последним действием выполним логическое сложение.

A
B
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415

0
0
1
1
1

0
1
1
0
0

1
0
0
1
0

1
1
0
0
0


Теперь построим таблицу истинности логического выражения: 13 EMBED Equation.3 1415
1). Определим количество строк в таблице. Для этого: считаем количество переменных, в нашем случае логическая функция содержит 2 переменные: А и В.
Количество строк в таблице истинности должно быть равно 22=4.
2). Определяем количество столбцов. В нашем случае количество переменных равно двум, а количество логических операции двум, то есть количество столбцов таблицы истинности равно четырем.
3). Строим таблицу с указанным количеством строк и столбцов, обозначаем столбцы и вносим в таблицу возможные наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.
Сначала необходимо выполнить действие в скобках, а затем логическое отрицание.

A
B
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415

0
0
0
1

0
1
1
0

1
0
1
0

1
1
1
0


Построили таблицы. Теперь давайте, сравним значения в последних столбцах таблиц истинности, т.к. именно последние столбцы являются результирующими:
13 EMBED Equation.3 1415=13 EMBED Equation.3 1415

IV. Закрепление изученного материала.
1. Построить таблицу истинности для формулы: 13 EMBED Equation.3 1415.
1). Определим количество строк в таблице. Для этого: считаем количество переменных, в нашем случае логическая функция содержит 3переменные: А, В и С.
Количество строк в таблице истинности должно быть равно 23=8.
2). Определяем количество столбцов. В нашем случае количество переменных равно трем, а количество логических операции пяти, то есть количество столбцов таблицы истинности равно восьми.
3). Строим таблицу с указанным количеством строк и столбцов, обозначаем столбцы и вносим в таблицу возможные наборы значений исходных логических переменных и заполняем таблицу истинности по столбцам.

Последовательность операций: инверсия, операции в скобках, операция за скобкой.

A
B
C
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415

0
0
0
1
1
1
1
1

0
0
1
1
0
1
0
0

0
1
0
0
1
1
1
1

1
0
0
1
1
1
1
1

0
1
1
0
0
1
0
0

1
1
0
0
1
1
1
1

1
0
1
1
0
1
0
1

1
1
1
0
0
1
0
1


2. Докажите с помощью таблиц истинности равносильность следующих логических выражений: 13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415.

Построим сначала таблицу истинности логического выражения: 13 EMBED Equation.3 1415.
1). Определим количество строк в таблице: 22=4.
2). Определяем количество столбцов: 2+1=3.
3). Строим таблицу с указанным количеством строк и столбцов.

A
B
13 EMBED Equation.3 1415

0
0
1

0
1
1

1
0
0

1
1
1


Построим таблицу истинности логического выражения: 13 EMBED Equation.3 1415.
1). Определим количество строк в таблице: 22=4.
2). Определяем количество столбцов: 2+2=4.
3). Строим таблицу с указанным количеством строк и столбцов.

A
B
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415

0
0
1
1

0
1
0
0

1
0
1
1

1
1
0
1


Вывод: данные логические выражения не равносильны.

V. Итог урока.
Обобщить пройденный материал, оценить работу активных учеников.

VI. Домашнее задание.
Доказать, используя таблицы истинности, что логические выражения 13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415 равносильны.
Построить таблицу истинности для формулы: 13 EMBED Equation.3 1415

Root EntryEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation Native