Таблицы истинности: карточки по логическим операциям
30 карточек на русском по таблицам истинности. Вычисляйте значения выражений с НЕ, И, ИЛИ, импликацией и эквиваленцией, заполняйте пропуски и находите ошибки в строках.
Об этой колоде
Почему 1 ∨ 1 даёт единицу и когда импликация равна нулю? Эти 30 карточек на русском помогают потренироваться считать значения логических выражений и заполнять пропуски в таблицах истинности. На обороте сначала идёт ответ, а к заданиям даны короткие объяснения.
Первые карточки объясняют, что означают ноль и единица и как устроена одна строка таблицы. Затем нужно вспомнить правила для НЕ, И, ИЛИ, импликации и эквиваленции. В следующих заданиях вы считаете результат по входным значениям, восстанавливаете вход по известному результату и замечаете, когда данных для этого мало. Есть задания на пропущенные и повторяющиеся строки.
Ближе к концу встречаются выражения из нескольких операций, пропуски в строках и ошибки, которые меняют итоговый столбец. Например, можно перепутать направление импликации, посчитать ИЛИ как «ровно одно из двух» или поставить НЕ к одной переменной вместо выражения в скобках. Примеры с одинаковым способом решения сведены к нескольким показательным случаям. Определение порядка переменных по фрагменту таблицы — следующий шаг после этой практики.
Задания, объяснения, порядок карточек и обложка созданы для этого набора с помощью ИИ. Оригинальные материалы можно использовать по CC0 1.0 в пределах применимых авторских прав. Правила проверены по таблицам логических операций в forall x: Calgary и главе о построении полных таблиц.
Карточки в этой колоде
Карточка 1
Вопрос
Что означают
0и1в таблице истинности?Ответ
0— ложь,1— истина.Карточка 2
Вопрос
Что показывает одна строка полной таблицы истинности?
Ответ
Один набор входных значений и результат выражения при этих значениях.
Карточка 3
Вопрос
Как меняет значение
Aлогическое НЕ (¬A)?Ответ
Меняет его на противоположное. Из
0получается1, из1—0.Карточка 4
Вопрос
Когда
A ∧ B(логическое И) равно1?Ответ
Когда оба значения равны
1. Одного нуля достаточно, чтобы результат был0.Карточка 5
Вопрос
Когда
A ∨ B(логическое ИЛИ) равно0?Ответ
Когда оба значения равны
0. При любой единице результат равен1.Карточка 6
Вопрос
В какой строке импликация
A → Bравна0?Ответ
A = 1,B = 0. Во всех остальных строках значение импликации равно1.Карточка 7
Вопрос
Когда эквиваленция (эквивалентность)
A ↔ Bравна1?Ответ
Когда значения совпадают. Это строки
(0, 0)и(1, 1).Карточка 8
Вопрос
В таблице для
AиBесть пары(0, 0),(1, 0)и(1, 1). Какой пары(A, B)не хватает?Ответ
(0, 1). ПриA = 0должны встретиться оба значенияB.Карточка 9
Вопрос
Чему равно
¬(¬A), еслиA = 0?Ответ
0. Внутреннее НЕ даёт1, внешнее возвращает0.Карточка 10
Вопрос
В строке
A = 1иA ∧ B = 1. Какое значение пропущено в ячейкеB?Ответ
1. Чтобы логическое И дало единицу, оба входа должны быть единицами.Карточка 11
Вопрос
Чему равно
A ∨ B, еслиA = 1иB = 1?Ответ
1. Для логического ИЛИ достаточно хотя бы одной единицы. Две единицы тоже подходят.Карточка 12
Вопрос
Чему равно
B → Aв строкеA = 0,B = 1?Ответ
0. Слева от стрелки стоитB = 1, справа —A = 0. Получается1 → 0.Карточка 13
Вопрос
В строке
A = 0иA ↔ B = 0. Какое значение пропущено в ячейкеB?Ответ
1. Ноль в столбце эквиваленции означает, что входные значения различаются.Карточка 14
Вопрос
Сколько строк в полной таблице истинности для
(A ∨ B) ∧ (¬A ∨ C)?Ответ
8. Разных переменных три. У каждой два возможных значения, поэтому получаем2 × 2 × 2 = 8. Оба вхожденияAберут значение из одного столбца.Карточка 15
Вопрос
Какое выражение нужно вычислить первым в
¬(A ∧ B)?Ответ
A ∧ B. НЕ применяется к результату внутри скобок.Карточка 16
Вопрос
В строке
A = 0иA ∧ B = 0. Что можно сказать о значенииB?Ответ
Bможет быть и0, и1. Ноль вAуже определяет результат логического И.Карточка 17
Вопрос
В строке
A = 0иA ∨ B = 0. Какое значение пропущено в ячейкеB?Ответ
0. Если быBбыло равно1, результат логического ИЛИ был бы1.Карточка 18
Вопрос
Чему равно
A → Bв строкеA = 0,B = 0?Ответ
1. Импликация даёт0только в случае1 → 0.Карточка 19
Вопрос
Чему равно
A ↔ B, если обе переменные равны0?Ответ
1. Два нуля совпадают, поэтому эквиваленция истинна.Карточка 20
Вопрос
Чему равно
¬(A ∨ B)приA = 0,B = 1?Ответ
0. В скобках0 ∨ 1 = 1, затем НЕ меняет эту единицу на ноль.Карточка 21
Вопрос
В формуле
A ∧ (B ↔ C)известно, чтоA = 0. Что можно записать в итоговый столбец для этой строки?Ответ
0. Внешнее И уже получает ноль на одном входе, поэтому значение в скобках на результат не влияет.Карточка 22
Вопрос
Для пар
(0, 0),(0, 1),(1, 0),(1, 1)в столбцеA ∨ Bзаписали0, 1, 1, 0. В какой строке ошибка?Ответ
В строке
(1, 1). Логическое ИЛИ даёт1и тогда, когда истинны оба входа.Карточка 23
Вопрос
В строке
A = 0,B = 1какое выражение даёт0—A → BилиA ↔ B?Ответ
A ↔ B. Входы различаются. Импликация0 → 1даёт1.Карточка 24
Вопрос
Чему равно
(A ∧ ¬B) ∨ CприA = 1,B = 0,C = 0?Ответ
1. Сначала¬B = 1, затемA ∧ ¬B = 1. Внешнее ИЛИ даёт1 ∨ 0 = 1.Карточка 25
Вопрос
При
A = 0,B = 0какое выражение даёт1—¬(A ∧ B)или(¬A) ∧ B?Ответ
¬(A ∧ B). Там НЕ меняет результат0 ∧ 0на1. Во втором выражении после отрицанияAполучается1 ∧ 0 = 0.Карточка 26
Вопрос
В строке
A = 0,C = 1и(A ∨ B) ∧ C = 1. Какое значение пропущено в ячейкеB?Ответ
1. Чтобы получить единицу на выходе И, в скобках должна быть единица. ПриA = 0это возможно только сB = 1.Карточка 27
Вопрос
Для пар
(A, B)в порядке(0, 0),(0, 1),(1, 0),(1, 1)получили столбец1, 0, 1, 1. Какому направлению импликации он соответствует?Ответ
B → A. Единственный ноль стоит в строке, гдеB = 1, аA = 0, то есть при1 → 0в этом направлении.Карточка 28
Вопрос
В таблице истинности для трёх переменных восемь строк, но две строки имеют одинаковые входы. Почему таблица неполная?
Ответ
Как минимум одного набора входов не хватает. Для трёх переменных есть восемь разных наборов, а из-за повтора в таблице их меньше восьми.
Карточка 29
Вопрос
Чему равно
(A ↔ B) ∧ ¬Cв строкеA = 0,B = 0,C = 1?Ответ
0. Эквиваленция двух нулей даёт1, а¬C = 0. Итоговое И даёт1 ∧ 0 = 0.Карточка 30
Вопрос
Какое значение нужно вписать в итоговую ячейку
(A ∧ B) → CприA = 0,B = 1,C = 0?Ответ
1. СначалаA ∧ B = 0, поэтому в итоговом столбце считаем0 → 0 = 1.
30 карточек
Таблицы истинности: карточки по логическим операциям
Откроется Nibomo, и вы сможете начать изучение.