Урок информатики по теме "Алгебра логики. Законы логики. Упрощение логических выражений"
план-конспект урока по информатике и икт (9 класс)

Слайд 1

Домашнее задание Задание . Построить таблицы истинности для выражений: (А  В) и  А   В. Подготовиться к самостоятельной работе.

Слайд 2

Дизъюнкция – это также логическое ИЛИ. Высказывание истинно тогда и только тогда, когда истинны оба высказывания – это утверждение свойственно для логической функции «Дизъюнкция». «Температура воздуха в классе меньше 0 градусов» – это истинное логическое высказывание. Логическое высказывание «Сегодня идет дождь, и ромашки являются самыми красивыми цветами» можно обозначить в символьной форме следующим образом: « ». Таблица истинности для отрицания выглядит следующим образом: Поставьте знак «1» или «0» напротив верных и неверных утверждений соответственно

Слайд 3

Задание 3. Составить таблицу истинности для заданного выражения А  (В  С ) A B C В  С А  (В  С) Посчитать количество необходимых строк в таблице: 2. Посчитать количество необходимых столбцов: Кол-во столбцов = количество логических переменных + кол-во логических операций.

Слайд 4

3. Заполнить шапку таблицы логическими переменными и операциями . Порядок действий: 1. Действия в скобках. 2. Отрицание. 3. Логическое умножение. 4. Логическое сложение. 4. Заполнить таблицу значениями ее исходных переменных. A B 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

Слайд 5

5. Выполнить базовые логические операции в определенной последовательности на основании таблиц истинности логических операций. A B 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

Слайд 6

Задание № 1 А  ( В  С) А В С В  С А  (В  С) 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1

Слайд 7

(А  В)  (A  С ) А В С А  В А  С (А  В)  (A  С ) 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 1 Задание № 2

Слайд 8

Алгебра логики. Законы логики. Упрощение логических функций

Слайд 9

Основные законы формальной логики Закон тождества А = А Закон непротиворечия Закон исключения третьего Закон двойного отрицания В процессе рассуждения нельзя подменять одно понятие другим . Не могут быть одновременно истинными суждение и его отрицание Высказывание может быть либо истинным либо ложным, третьего не дано Если отрицать дважды некоторое суждение, то получается исходное суждение

Слайд 10

Законы исключения констант 0=1 1=0 А0=А А  0= 0 А 1 = 1 А 1 =А Задание №2. Упростить:  ( А  1 )

Слайд 11

Законы алгебры логики Идемпотентность АА=А А  А=А Коммутативность – переместительный закон А  В = В  А А  В=В  А Ассоциативность – сочетательный закон А  (В  С) = (А  В)  С А  (В  С) = (А  В)  С Дистрибутивность – распределительный закон А  (В  С) = (А  В)  (A  С ) А  (В  С) = (А  В)  (A  С )

Слайд 12

Задание № 3. Расставьте соответствие между названием закона логики и номером выражения, к которому он был применен 1. Идемпотентность. 2. Дистрибутивность. 3. Ассоциативность. 4. Коммутативность. C  ( V  N ) = ( C  V )  (C  N) . (B  C)  P = (C  B)  P. (M  N)  ( K  L) = M  (N  K)  L. (B  B)  P = B  P.

Слайд 13

Поглощение А  (А  В) = А А  (А  В) = А Законы де Моргана (инверсии)  (А В) =  А  В  (А  В) =  А   В З акон исключения (склеивания) (А  В)  (A  В ) =А (А  В)  (A  В ) =А

Слайд 14

Задание № 4. Упростить выражения, используя законы логики  (  X   Y ) . ( А  В )  ( А   В ). C  (B  C).

Слайд 15

Задание № 5. Найдите значение логического выражения : ((1 ˄ 1) ˄ (0 ˅ 1)) ˅ ¬0 ), ((0 ˅ 1) ˅ (1˄1)) ˅ (0 ˅ 1 ).

Слайд 16

А  (¬(¬В  С))=??? ¬ ( А  ¬ В  ¬ С)=??? Задание № 6. Упростите логическое выражение

Слайд 17

Домашнее задание Подготовиться к контрольной работе по изученному материалу