Краткий ответ
Таблицы истинности не заучивают наизусть — их восстанавливают за 10 секунд из 3–4 смысловых правил. А определения запоминают не зубрёжкой, а через «своими словами + пример + контрпример» и активное припоминание (написать по памяти, а не перечитать).
Шаг 1. Правила, из которых таблицы собираются сами
| Операция | Смысл | Правило восстановления |
|---|---|---|
| \(A \land B\) (И) | «оба сразу» | 1 только в строке 1–1 |
| \(A \lor B\) (ИЛИ) | «хотя бы одно» | 0 только в строке 0–0 |
| \(\lnot A\) (НЕ) | переворот | 0 ↔ 1 |
| \(A \oplus B\) (XOR) | «ровно одно» | 1 там, где разные |
| \(A \to B\) (импликация) | «обещание» | 0 только при \(1 \to 0\) |
| \(A \leftrightarrow B\) | «совпадают» | 1 там, где одинаковые |
Проверка: \(2^n\) строк, где \(n\) — число переменных; столбцы заполняются двоичным счётом \(00, 01, 10, 11\) (для трёх переменных — 8 строк: \(000, 001, 010, \dots, 111\)).
Ловушка №1 у всех: импликация — единственная операция, которая «врёт» лишь в одном случае из четырёх. Запомни фразу «из истины ложь не выведешь» — всё остальное даёт 1.
Шаг 2. Как учить определения (метод Фейнмана)
- Прочитал → закрыл → сказал вслух своими словами.
- Придумал пример и контрпример (например: «дизъюнкция — это „или“: „дам конфету или печенье“ — ложно только если не дал ни то, ни другое»).
- Записал определение символами и обратно — словами.
Если не можешь объяснить без учебника — определение не выучено, а узнано.
Шаг 3. Как запоминать «быстро» (техники)
- Активное припоминание вместо перечитывания: раз в день рисуешь все таблицы на пустом листе по памяти, сверяешь, отмечаешь ошибки.
- Интервальные повторения: сегодня → через день → через 3 дня → через неделю (5 минут за подход).
- Карточки: на лицевой стороне выражение (\(A \to B\)), на обратной — строка нулей/единиц.
- Правило одной ошибки: ведёшь список своих промахов (обычно их 2–3, чаще всего импликация и XOR) и повторяешь только их.
Шаг 4. Проверь себя
Восстанови по памяти значение \((\lnot A \lor B)\) при \(A=1\), \(B=0\): \(\lnot A = 0\); \(0 \lor 0 = 0\). Совпало с импликацией, ведь \(\lnot A \lor B \equiv A \to B\) — это и есть причина, почему импликация ложна только при \(1 \to 0\). Если вывел сам — заучивать уже нечего.