Логическая функция F задаётся выражением:
(¬x ∧ z) ∨ (¬x ∧ ¬y ∧ ¬z).
На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.
| Перем. 1 | Перем. 2 | Перем. 3 | Функция |
|---|---|---|---|
| ??? | ??? | ??? | F |
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 |
В ответе напишите буквы x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу, затем буква, соответствующая второму столбцу, и т. д.) Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y, и таблица истинности:
| Перем. 1 | Перем. 2 | Функция |
|---|---|---|
| ??? | ??? | F |
| 0 | 0 | 1 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Тогда 1-му столбцу соответствует переменная y, а 2-му столбцу соответствует переменная x. В ответе нужно написать: yx.
Выражение равно 1, если хотя бы одна из двух скобок равна 1. Первая скобка равна 1 при наборах переменных (0, 0, 1) и (0, 1, 1). Вторая скобка только при (0, 0, 0). Из третьего набора выводов не сделать, из первых же двух понятно, что переменные идут в порядке x, y, z (x оба раза 0, в первом столбце оба раза 0; z оба раза 1, третий столбец оба раза тоже 1).
Приведем другое решение.
Составим таблицу истинности для выражения (¬x ∧ z) ∨ (¬x ∧ ¬y ∧ ¬z) и выпишем те наборы переменных, при которых данное выражение равно 1. В наборах переменные запишем в порядке х, y, z. Получим следующие наборы:.
(0, 0, 0), (0, 0, 1), (0, 1, 1).
Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.
Вторая строка таблицы может соответствовать только набору (0, 0, 1), значит, третий столбец — это переменная z.
Третья строка таблицы соответствует набору (0, 1, 1), следовательно, второй столбец — это переменная у.
Тогда первый столбец — это переменная х.
Ответ: xyz.