← К навигатору курса · Раздел 1 из 8
Здесь то, что прошли на первых двух занятиях в группе. Два урока с пометкой «повторение» — школьная база из курса «Информатика 5–11», по 7 минут каждый: пройди их до встречи. Два новых урока — колледжный уровень: стрелки → и ≡, таблицы на восемь строк со столбцами-шагами. Урок «База» про законы логики — из 10 класса, для тебя он новый. Уроки из школьного курса открывай в новой вкладке и возвращайся сюда: их кнопка «Вперёд» ведёт по школьному курсу, а не по этому. Развёрнутые задания в конце школьных уроков разберём на встрече устно, сдавать их не нужно.
Краткий план раздела
После этого раздела ты сможешь:
- вычислять импликацию и эквиваленцию и читать значки ¬ ∧ ∨ → ≡
- строить таблицу истинности выражения на 3–4 переменные по столбцам-шагам Ш1, Ш2, Ш3 и F
- проверять законы де Моргана сравнением столбцов
📖 — тексты | 👀 — видео | ❓ — вопросы | 💻 — задания | ☝️ — обязательно | 🔽 — не обязательно
Содержание
📖 Текстовые уроки
- Повторение: Логические операции и выражения (НЕ, И, ИЛИ, приоритет)
- Повторение: Таблицы истинности (2ⁿ строк)
- 1.1. Импликация и эквиваленция: пять логических операций
- 1.2. Таблица истинности сложного выражения: по столбцам
- База (10 класс, для тебя новое): Преобразование логических выражений — законы, де Морган
❓ Контрольные вопросы
- Когда импликация ложна
- Что считать первым в A ∨ B → C
- ¬A → B при A = 1, B = 0
- Сколько строк у выражения с четырьмя переменными
- Когда два выражения равны
💻 Задания
- Вычисли (x ≡ y) ∨ ((y ∨ z) → x) по шагам
- Найди ошибку в таблице импликации
- Полная таблица выражения из конспекта
Итоги раздела
- пять операций и лестница приоритетов: ¬, ∧, ∨, →, ≡
- таблица истинности строится конвейером из пяти шагов, наборы — двоичным счётом
- равенство выражений (в том числе законы де Моргана) проверяется совпадением столбцов F
