Логическая функция F задаётся выражением (y → x ∨ z) ∧ (z → y). Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по информатике
Логическая функция F задаётся выражением (y → x ∨ z) ∧ (z → y)

Логическая функция F задаётся выражением (y → x ∨ z) ∧ (z → y) .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Логическая функция F задаётся выражением (y → x ∨ z) ∧ (z → y).На рисунке приведён фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.Примечание. Да, в формуле нет переменной w. Но тут все правильно и задача имеет единственное решение.

Решение

Потяни, чтобы посмотреть

Для всех строк заданной таблицы истинности значение функции F = 0.
Из определения конъюнкции ∧, получаем (y → x ∨ z) = 0 и/или (z → y) = 0.
Определим порядок операций для (y → x ∨ z):
Дизъюнкция ∨;
Импликация →.
Используя определения этих операций, получаем:
для (y → x ∨ z) = 0, тогда y = 1, x ∨ z = 0, отсюда x = z = 0.
для (z → y) = 0, тогда z = 1, y = 0.
По полученным значениям определим соответствие переменных x, y, z, w столбцам заданной таблицы истинности и выполним проверку:
z w y x x ∨ z (y → x ∨ z) (z → y) (y → x ∨ z) ∧ (z → y)
1 0 0 0 1 1 0 0
1 1 0 0 1 1 0 0
1 1 0 1 1 1 0 0
0 1 1 0 0 0 1 0
Ответ

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу