(x ≡ z ) ∨ (x → (y ∧ z))
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F.
Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z..
Алгоритм решения
1) Для начала мы разберемся с порядком действий. Смотри рис №1
Таким образом нам будет удобнее и мы не запутаемся.
2) Строим таблицу для трех переменных.
3) Потом мы начинаем заполнять нашу таблицу по действиям.
(см. Рис №3)
Четвертый столбец мы заполним так: 1ым действием мы ищем эквивалентность x и z.
Пятый столбец: 2ое действие это умножение "y" на "z".
Шестой столбец: 3е действие это импликация или же следование "y" и 2ого действия.
Седьмой столбец: 4ое действие это сложение 1 и 3 действий.
4) Нам нужны значения только когда функция = 0. Подчеркиваем эти строки. (см рис №3)
5) Строим новую таблицу с получившимися значениями x, y, z и начинаем соотносить с другой таблицей.
6) После сопоставления у нас получается такая таблица:
Почему мы расставили переменные x, y, z именно так?
"X"- В таблице которую мы составили у "x" все 1, значит в конечной таблице тоже будут 1
"Z"- Т. к по горизонтали во 2 строчке у нас получался выбор либо 1-1-1 или 1-0-1, но так как у нас есть только одна строчка 1-1-1 и это является "x", который занят. Поэтому у нас будет строка 1-0-1. Из этого мы можем понять, что вторая переменная = "z".
"Y"-Методом исключения, у нас осталась одна буква из трех и это "y".
Ответ: yzx
Ответ обязательно нужно записывать без пробелов и без запятых!
