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