4.1. Таблицы истинности и упрощение выражений
Задача 4.1.0. Для какого из перечисленных ниже названий стран истинно высказывание:
«Первая буква согласная» И «Третья буква согласная» И «Последняя буква гласная»?
1) Люксембург
2) Бельгия
3) Австрия
4) Греция
Задача 4.1.1. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F:
X |
Y |
Z |
F |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
Какое выражение соответствует F?
1) (0 /\ Y) ∧ (X ≡ Z)
2) (1 /\ Y) ∧ (X ≡ Z)
3) (0 \/ ⌐Z) ∧ (X ≡ Y)
4) (⌐1 /\ Y) ∧ (X ≡ Z)
Задача 4.1.2. Упростите выражение: (X → Y) ∧ ¬ (¬X ∧ Y)
Задача 4.1.3. Дан фрагмент таблицы истинности выражения F.
X1 |
X2 |
X3 |
X4 |
X5 |
X6 |
X7 |
X8 |
X9 |
X10 |
F |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
Каким из приведённых ниже выражений может быть F?
1) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ x8 ∧ x9 ∧ x10
2) ¬x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ x5 ∨ x6 ∨ ¬x7 ∨ x8 ∨ x9 ∨ x10
3) ¬x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 ∨ ¬x8 ∨ x9 ∨ ¬x10
4) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 ∧ ¬x8 ∧ x9 ∧ ¬x10
Задача 4.1.4. Таблица истинности заполнена не полностью:
X1 |
X2 |
X3 |
X4 |
X5 |
X6 |
X7 |
X8 |
F |
|
|
|
1 |
|
0 |
|
|
1 |
|
|
|
0 |
|
|
0 |
|
1 |
0 |
|
|
0 |
|
|
|
|
0 |
Каким может быть выражение F?
1) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7 ∧ ¬x8
2) ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ x6 ∧ x7 ∧ ¬x8
3) x1 ∨ x2 ∨ ¬x3 ∨ x4 ∨ x5 ∨ ¬x6 ∨ x7 ∨ x8
4) ¬x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ ¬x7 ∨ ¬x8
Задача 4.1.5. Логическая функция F задается выражением x ∧ ¬y ∧ (¬z ∨ w).
Приведен фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна.
??? |
??? |
??? |
??? |
F |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных w, x, y, z.
Задача 4.1.6. Логическая функция F задаётся выражением (x ∨ y) → (z ≡ x).
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.
Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z.
Переменная 1 |
Переменная 2 |
Переменная 3 |
Функция |
??? |
??? |
??? |
F |
0 |
0 |
0 |
|
0 |
0 |
В ответе напишите буквы x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала – буква, соответствующая первому столбцу; затем – буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Задача 4.1.7. Логическая функция F задаётся выражением (x → y) ∧ (y → z). На рисунке приведён фрагмент таблицы истинности функции F. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.
Перем. 1 |
Перем. 2 |
Перем. 3 |
Функция |
??? |
??? |
??? |
F |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
В ответе напишите буквы x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу, затем — буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Задача 4.1.8. Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z) ∨ ¬w. На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F ложна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных w, x, y, z. Все строки в представленном фрагменте разные.
??? |
??? |
??? |
??? |
|
0 |
|
|
1 |
0 |
|
0 |
1 |
|
0 |
0 |
В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (без разделителей).
Задача 4.1.9. Логическая функция F задаётся выражением ((x → y) ≡ (y → z)) ∧ (y ∨ w).
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.
Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w.
Переменная 1 |
Переменная 2 |
Переменная 3 |
Переменная 4 |
Функция |
??? |
??? |
??? |
??? |
F |
0 |
0 |
1 |
||
0 |
0 |
0 |
1 |
|
0 |
1 |
В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы (сначала — буква, соответствующая первому столбцу; затем — буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Задача 4.1.10. Дано логическое выражение, зависящее от 5 логических переменных:
z1 ∧ ¬z2 ∧ ¬z3 ∧ ¬z4 ∧ z5
Сколько существует различных наборов значений переменных, при которых выражение ложно?
Задача 4.1.11. Каждое из логических выражений F и G содержит 5 переменных. В таблицах истинности выражений F и G есть ровно 5 одинаковых строк, причём ровно в 4 из них в столбце значений стоит 1.
Сколько строк таблицы истинности для выражения F ∨ G содержит 1 в столбце значений?