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