Логическая функция F задаётся выражением:(z ≡ (x → w)) ∧ (x ≡ ¬(w →
Условие
| Логическая функция F задаётся выражением:(z ≡ (x → w)) ∧ (x ≡ ¬(w → y)).Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F. ??? | ??? | ??? | ??? | F |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | |
| 0 | 0 | 1 | ||
| 1 | 1 | 0 | 0 |
Определите, какому столбцу таблицы истинности соответствует каждая из переменных w, x, y, z.В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
| Пример. Пусть заданы выражение x → y, зависящее от двух переменных x и y, и фрагмент таблицы истинности. ??? | ??? | F |
|---|---|---|
| 0 | 1 | 0 |
Тогда первому столбцу соответствует переменная y, а второму столбцу соответствует переменная x. В ответе нужно написать: yx.
Ответ
Ответ и полный разбор откроются после входа
Посмотреть ответРешение по шагам
Как рассуждать
Решение. Составим таблицу истинности для выражения (z ≡ (x → w)) ∧ (x ≡ ¬(w → y)). вручную или при помощи языка Python: print("x y z w F")for x in range(0, 2): for y in range(0, 2): for z in range(0, 2): for w in range(0, 2): if not((z == (x <= w)) and (x == (not(w <= y)))): print(x, y, z, w, '0') if (z == (x <= w)) and (x == (not(w <= y))): print(x, y, z, w, '1') Сопоставим полученные наборы с приведенным в задании фрагментом таблицы истинности.
Первой строке может соответствовать только набор (0, 0, 1, 0), тогда второй столбец соответствует переменной z.Второй строке может соответствовать только набор (0, 1, 1, 0), тогда первый столбец соответствует переменной y.Третьей строке может соответствовать только набор (1, 1, 1, 0), так как переменные y z равны
Осталось ещё 1 шаг
Тогда третий столбец соответствует переменной…
Бесплатно · займёт минуту