Автор конспекта:
Автор(ы): — Мухаметзянова Л. Р.

Место работы, должность: —

МБОУ СОШ №45

Регион: — Республика Татарстан

Характеристики урока (занятия) Целевая аудитория: — Учащийся (студент)

Класс(ы): — 8 класс

Предмет(ы): — Информатика и ИКТ

Цель урока: —

Цели урока:

1 Способствовать изучению основных законов алгебры логики.

2 Способствовать практическому освоению навыков построению таблиц истинности по заданному логическому выражению.

3 Закрепить полученные знания.

Тип урока: — Урок изучения и первичного закрепления новых знаний

Краткое описание: —

1. Объяснение нового материала Логические операции

2. Повторение. Решение задания №1.

3. Объяснение новой темы Логические операции

4.Решение примеров

5. Выдача дом задания


Ход урока

I. Сообщение темы и постановка целей урока.

Учитель: Тема нашего урока называется «Логические операции». Наша главная цель ознакомиться с логическими операциями.

II. Повторение. Выполнение задания №1

Прежде чем приступить к объяснению темы урока, учитель должен подготовить учащихся к восприятию нового материала.

Задание№1.

п/п

Вопрос

Ответ: да или нет

1

Установите истинность простых высказываний:

А=” Принтер – устроиство вывода информации”

В=”Процессор – устройство хранения информации”

С=”Монитор – устройство вывода информации”

D= «Мышь- устройство обработки информации»

А=1?

В=0?

С=1?

D=0?

2

На основании знаний, установите истинность.

Ø А= «2*2=4»

Ø В= «2*2=5»

А=0?

В=0?

3

Придумайте простое высказывание.

Пример ответа: Бит — самая маленькая единица измерения информации.

4

Придумайте составные высказывания, содержащие союз «И», «Или», «Если…,то»

Примеры :Если будут билеты, то я полечу на самолете в Москву.

Грянул гром и пошел дождь.

Я пойду в кино или останусь дома.

III. Объяснение нового материала «Логические операции»

Учитель: Алгебра высказываний была разработана для того, можно определить истинность или ложность составных высказываний, не вникая в их содержание. Алгебра высказываний оперирует с логическими переменными, которые принимают значения: «истина» (1) или «ложь» (0) – это ее константы.

Для обозначения логических переменных используются буквенные символы. Очень часто алгебру логики (высказываний) называют булева алгебра по имени ее создателя английского математика XIX века Дж. Буля.

Учитель: Вопрос – проблема! А как установить истинность составных высказываний? Простые высказывание сами по себе мертвы. Они оживают, если из простых высказываний получить составное высказывание с помощью логических связок И, ИЛИ, НЕ.

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

Действие учителя: Свой рассказ учитель сопровождает показом презентации «Логические операции». Слайды презентации содержит запись функции и таблицы истинности логических операций.

Учитель: Рассмотрим основную функцию логики: Операцию логического умножения.

Пример : «А и В сидели на трубе» — составное высказывание, состоящее из двух простых соединенных союзом «и».

Обозначим первое высказывание — А, второе высказывание – В.

А- «А сидело на трубе»

В – «В сидело на трубе»

На этом примере рассмотрим одну из основных операции:

Логическое умножения «И». Эту операцию обозначают знаком “&”.

Объединение одного или нескольких высказываний с помощью союза «И» называется логическим умножением или конъюнкцией. Для доказательства строим таблицу истинности. И ее можно получить двумя способами: используя правила булевой алгебры или основываясь на здравых рассуждениях человека. Рассмотрим таблицу истинности, основываясь на здравом смысле.

Действие учителя: Свой рассказ учитель сопровождает показом слайдов презентации «Булева алгебра» (Логическое умножение, таблица истинности).

Учитель:

В 1 случае, если утверждение, что А и В отсутствовали на трубе — неверны, (А=0 и В=0)то и сложное высказывание также будет не верно.(A&B=0).

Во 2 случае, если утверждение, что А отсутствовало на трубе (А=0), а В присутствовало (В=0), то составное условие равно 0 (A&B=0).

В 3 случай подобный, составное условие равно 0 (A&B=0).

В 4 случае «А сидело на трубе» (А=1), и «В сидело на трубе» (В=1), то все составное условие выполняется (A&B=1).

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

Перейдем к записи высказываний с точки зрения алгебры логики. Образуем составное высказывание F, которое получиться в результате конъюнкции двух простых высказываний. Это записана формула функции логического умножения:

F=A&B

Где, логические переменные А и В могут принимать значение «истина»

(1) или «ложь» (0). Сама функция F, также может быть только «истина» (1) или «ложь» (0).

Значение функции определяем с помощью таблицы истинности:

№ случая

А

В

F=A&B

1

0

0

0

2

1

0

0

3

0

1

0

4

1

1

1

Определение: Составное высказывание, образованное в результате операции логическое умножение (конъюнкции), истинно тогда и только тогда, когда истинны все входящие в него высказывания.

Действие учителя: Свой рассказ учитель сопровождает показом слайдов презентации «Булева алгебра» (Логическое сложение).

Учитель: Операция логическое сложение. Рассмотрим пример составного высказывания:

«Я пойду в кино или посещу библиотеку».

Это высказывание состоит из двух простых соединенных союзом «или». Который используется, когда хотят, выполнялось одно из двух высказываний, неважно какое, или первое «Я пойду в кино», (обозначим его А), или второе высказывание «Я посещу библиотеку» (обозначим его В). Такая логическая операция, соединенная союзом «или» называется логическим сложением. Для заполнения таблицы истинности мы будем пользоваться законом булевой алгебры, отвлекаясь от содержания логических переменных.

Действие учителя: показать на экране слайд презентации, содержащий таблицу истинности.

Таблица истинности для этой операции принимает вид:

№ случая

А

В

F=A v B

1

0

0

0

2

1

0

1

3

0

1

1

4

1

1

1

Запишем теперь операцию логического сложения (дизъюнкция) на формальном языке алгебры логике.

Логическая функция: F=AvB

Определение: Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

Действие учителя: Свой рассказ учитель сопровождает показом слайдов презентации «Булева алгебра» (Логическое отрицание, таблица истинности).

Учитель: Операция логическое отрицания (инверсия). Присоединение частицы «не к высказыванию называется операцией логического отрицания или инверсией. «Не день» — «ночь».

Операцию логического отрицания в алгебре логики принято обозначать Ā. Образуем высказывание F, являющее логическим отрицанием А.

Логическая функция: F=Ā

Для логической операции «не» существует следующая таблица истинности:

№ случая

Ā

F=Ā

1

0

1

2

1

0


Определение: Если высказывание истинно, то отрицание его высказывание будет ложно, и на оборот.

Действие учителя: Свой рассказ учитель сопровождает показом слайдов презентации «Булева алгебра» (Логическое следование, таблица истинности).

Учитель: Рассмотрим наиболее распространенную в языке грамматическую связку «если ….,то…». Соединение двух простых высказываний логическим союзом «если ..то» называется логическое следование (импликация). Составное высказывание типа «Если А, то В». Например : «Если идет дождь, то грибы растут»

И так мы имеем само составное высказывание и два простых высказывания « Если идет дождь» — называется основание и «грибы растут»- называется следствие. Применим здравый смысл для доказательства таблицы истинности.

Таблица истинности для первого высказывания включает в себе значения всех комбинаций, которые принимают значения «истина » (1) или «ложь» (0).

1 Случай: Если дождь не идет (0) и грибы не растут (0), следовательно, все высказывание истинным

2 Случай: Если дождь идет (1) и грибы не растут (0) — все составное высказывание ложно (0).

3 Случай: Если дождь не идет (0) и грибы растут (1) — все составное высказывание истинно (1).

4 Случай: Если дождь идет (1) и грибы растут(1), следовательно, все высказывание истинным.

Если основание ложно, а второе высказывание истинно или ложно (можно ждать что угодно). То все составное высказывание истинно.

А теперь, можно отвлекаясь от содержания высказывания, составить логическую функцию следования (импликации): F= A⊃B.

Для обозначения функции используется знак «>» “⊃”

Таблица истинности логического следования

случая

A

B

A⊃B

1

0

0

1

2

0

1

1

3

1

0

0

4

1

1

1

Определение

Логическое следование (импликация) ложно тогда, когда основание истинно, а следствие ложно. Во всех других случаях импликация истинна.

Примеры составных высказываний:

1. «Если у меня температура , то я болен.»

2. « Если число делится на 4, то оно делится «я на 2»

Действие учителя: Свой рассказ учитель сопровождает показом слайдов презентации «Булева алгебра» (Преобразование импликации в выражение неА vB).

Учитель: Интересный факт! В алгебре высказывания все логические функции могут быть путем логических преобразований сведены к трем базовым: логическому умножению, логическому сложению, логическому отрицанию.

Докажем методом сравнения таблиц истинности, что операция импликации А ⊃B, равносильна логическому выражению неА vB

Таблица истинности логического выражения неА vB:

A

B

неА

неА vB

1

0

0

1

1

2

0

1

1

1

3

1

0

0

0

4

1

1

0

1

IV. Таблицы истинности составных выражений

Пример 1: F=(AvB)&(неAv неB).

Определите истинность составного высказывания, использую таблицы истинности

Таблица истинности логического выражения:

A

B

AvB

НеА

НеВ

(НеА v неВ)

(AvB)&( НеА v неВ)

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:

Основной закон Буля – закон идемпотентности исключает все коэффициенты

АvAvA=A и показатели степеней А&A&A=A

Задание. Проверьте закон, использую таблицу истинности.

1. количество столбцов 3: одна переменная + два знака

2. количество строк равно 2, т.к. одна переменная 21=2

А

А&A

F1&A

0

0

0

1

1

1

Пример 3

1. Составить таблицу истинности составного высказывания:F =A&BvC

1. количество столбцов 5: три переменных и плюс два знака

3. количество строк равно 8, т.к. одна переменная 23=8

A

B

C

A&B

A&BvC

0

0

0

0

0

0

0

1

0

1

0

1

0

0

0

0

1

1

0

1

1

0

0

0

0

1

0

1

0

1

1

1

0

1

1

1

1

1

1

1

Пример 4

Составить таблицу истинности для составного высказывания:

F= неC & неD

Таблица будет содержать 5 столбцов и 4 строки.

C

D

Не С

Не D

НеC & неD

1

0

0

1

1

1

2

1

0

0

1

0

3

0

1

1

0

0

4

1

1

0

0

0

Интересный факт. В контексте естественного языка простые высказывания могут сочленяться с помощью таких союзов, которым не соответствует ни одна из связок формализованного языка. Как выявляется логическая форма в этом случае?

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

Учитель: Вопрос — проблема! Пример 5:

Как доказать, что составное высказывание ложно (не1& не0) & (1v 0) =0 ?

(Ответ в таблице истинности)

1. операция отрицания: на выходе 0&1

2. Действие в скобках (конъюнкция): (0&1)=0

3. действие в скобках (дизъюнкция): (1v 0)=1

4. конъюнкция: (0&1)=0

VI. Выдача домашнего задания

Домашнее задание: Составить таблицу истинности составного выражения

F = (неA & неB)&(CvD) ?

Файлы: фото с урока
Размер файла: 36938 байт.

Рубрики: Информатика и ИКТ Метки:
( план – конспект урока 1 класс 5 класс. 6 класс 7 класс 8 класс 9 класс 10 класс Английский язык Литературное чтение Математика Музыка ОБЖ Окружающий мир Оренбургская область Физика ЦОР алгебра биология викторина внеклассное мероприятие география геометрия здоровье игра информатика история классный час конкурс конспект урока краеведение кроссворд литература начальная школа обществознание презентация программа проект рабочая программа русский язык тест технология урок химия экология