Кратко по теме
Сначала разберите алгоритм и пример на презентации; письменно выполните задания ниже. УМК ФГОС: данные → действие → проверка результата. Тема собирает в единую систему знания о высказываниях, логических операциях и законах алгебры логики. Это фундамент для понимания того, как компьютер принимает решения и как устроены все цифровые устройства. Мы учимся формально мыслить и превращать сложные условия в точные логические формулы.
Опора
- Количество строк в таблице истинности для выражения с n переменными равно 2ⁿ. Для двух переменных — 4 строки, для трёх — 8.
- Таблица истинности конъюнкции: 0 ∧ 0 = 0, 0 ∧ 1 = 0, 1 ∧ 0 = 0, 1 ∧ 1 = 1.
- Таблица истинности дизъюнкции: 0 ∨ 0 = 0, 0 ∨ 1 = 1, 1 ∨ 0 = 1, 1 ∨ 1 = 1.
- Таблица истинности инверсии: ¬0 = 1, ¬1 = 0.
- Закон двойного отрицания: ¬(¬A) = A. «Неверно, что не A» означает просто «A».
- Высказывание — это повествовательное предложение, о котором можно однозначно сказать, истинно оно или ложно.
Задания
- 1Таблица: понятие / определение / пример — 4 строки по «Контрольная работа по теме «Элементы математической логики»».
бланк · таблица
Заполните таблицу по столбцам
понятие определение - 2Игра «Найди пару»: «данные ↔ обработка», «алгоритм ↔ шаги», «ошибка ↔ проверка».
бланк · соедини карточки
Соедините пары линиями или запишите соответствия (А–1, Б–2…)
данныеалгоритмошибкаобработкашагипроверкаСоответствия: А— Б— В—