§3.2. Алгебра логики | Урок 63 часть 5

Планирование уроков на учебный год (по учебнику Н.Д. Угриновича, профильный уровень)


Уроки 63 - 73
§3.2. Алгебра логики



Содержание урока

3.2.1. Логическое умножение, сложение и отрицание

Алгебра логики

Логические переменные

Логическое умножение (конъюнкция)

Логическое сложение (дизъюнкция)

Логическое отрицание (инверсия)

Практическое задание «Таблицы истинности»

Контрольные вопросы. Задания. Компьютерный практикум

3.2.2. Логические выражения
3.2.3. Логические функции
3.2.4. Логические законы и правила преобразования логических выражений
3.2.5. Решение логических задач

3.2.1. Логическое умножение, сложение и отрицание


Логическое отрицание (инверсия)


Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.

Логическое отрицание (инверсия) получает из истинного высказывания ложное и, наоборот, из ложного — истинное.

Высказывание «Два умножить на два равно четырем» истинно, а высказывание, образованное с помощью операции логического отрицания, «Два умножить на два не равно четырем» — ложно.

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

А (3.3)

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

Таблица 3.3. Таблица истинности инверсии (логического отрицания)

Истинность высказывания, образованного с помощью операции логического отрицания, можно легко определить с помощью таблицы истинности. Например, высказывание «Два умножить на два не равно четырем» ложно (А = 0), а полученное из него в результате логического отрицания высказывание «Два умножить на два равно четырем» истинно (1).

Следующая страница Практическое задание «Таблицы истинности»



Cкачать материалы урока







Наверх