Тип Д12 № 3778 
Построение таблиц истинности логических выражений. Логические выражения, содержащие три переменных
i
Символом F обозначено одно из указанных ниже логических выражений от трёх аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F:
| X | Y | Z | F |
0 | 1 | 0 | 1 |
1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 |
Какое выражение соответствует F?
1) ¬X → Z ∧ Y
2) Z → X ∨ Y
3) (¬X ∨ Y) ∧ Z
4) X ∨ Y → ¬Z
Решение. 1. Первое выражение не подходит по первой строчке.
2. Второе выражение не подходит по второй строчке т. к. 1→1 ≠ 0.
3. Поскольку в выражении 3 присутствует конъюнкция с Z, то оно должно быть ложным, если Z = 0, как видно из таблицы, этого не происходит.
4. Четвёртый вариант ответа подходит по всем строчкам.
Правильный ответ указан под номером 4.
Ответ: 4
PDF-версии: