Условие задачи
Логическая функция F задается выражением
((x\/¬ y)/\w) /\¬ z
В таблице приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна.
Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных w, x, y, z
Ответ
Рассмотрим целевую функцию более подробно. Заданное выражение состоит из двух частей соединенных операцией конъюнкции (логическим и).
Чтобы целевая функция была равна 1, обе части выражения должны быть истины.
Рассмотрим правую часть выражения, т.е. z. Значение этой переменной должно быть равно одному, значит z=1, откуда следует, что z=0.
Теперь обратимся ...