Логическая функция F задаётся выражением:
(¬x ∧ y ∧ z) ∨ (¬x ∧ ¬z).
На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.
| Перем. 1 | Перем. 2 | Перем. 3 | Функция |
|---|---|---|---|
| ??? | ??? | ??? | F |
| 0 | 0 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 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, 1, 1). Вторая принимает 1 при двух наборах значений переменных: (0, 0, 0), (0, 1, 0). Из набора с нулями выводов не сделать, в остальных двух x оба раза 0, y оба раза 1. Находим в таблице такие столбцы. Получаем, что нужный порядок: y, z, x.
Приведем другое решение.
Составим таблицу истинности для выражения (¬x ∧ y ∧ z) ∨ (¬x ∧ ¬z) и выпишем те наборы переменных, при которых данное выражение равно 0. В наборах будем записывать переменные в порядке x, y, z. Получим следующие наборы:
(0, 0, 0),
(0, 1, 0),
(0, 1, 1).
Заметим, что переменная x во всех наборах равна 0, следовательно, ей соответствует третий столбец таблицы. Переменная y равна 1 в двух наборах, следовательно, ей соответствует первый столбец таблицы, тогда переменной z соответствует второй столбец, получим y, z, x.