Функции F:(x∨y)∧¬(y≡z)∧¬w, но успел заполнить лишь фрагмент из трёх
Условие
| Миша заполнял таблицу истинности логической функции F:(x∨y)∧¬(y≡z)∧¬w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z. | F | |||
|---|---|---|---|---|
| 1 | 1 | 1 | ||
| 0 | 1 | 0 | 1 | |
| 1 | 1 | 0 | 1 | |
| Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно. Пример. Функция F задана выражением ¬x∨y, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид. | F | |||
| 0 | 1 | 0 |
В этом случае первому столбцу соответствует переменная y, а второму столбцу — переменная x. В ответе следует написать: yx.
Ответ
Ответ и полный разбор откроются после входа
Посмотреть ответРешение по шагам
Как рассуждать
Решение. Составим таблицу истинности для выражения (x∨y)∧¬(y≡z)∧¬w, вручную или при помощи языка Python: print("x y z w")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 (x or y) and (not(y == z)) and (not (w)): print(x, y, z, w)Далее выпишем те наборы переменных, при которых данное выражение равно
Осталось ещё 4 шага
В наборах переменные запишем в порядке х, y…
Получаем третий столбец как (1, 0, 1). Он…
соответственно. Следовательно, первый столбец…
может соответствовать только z. Поскольку y…
Бесплатно · займёт минуту
Другие задачи по теме «Логика и таблицы истинности»
Постройте таблицу истинности для выражения F = (A ∨ B) ∧ ¬C8–11 классВычислите значение выражения ¬A ∧ B ∨ C → B ∧ ¬C при A = 0, B = 1, C = 18–11 классПри каком наборе X, Y, Z, W выражение X ∨ ¬Y ∨ Z ∨ ¬W ложно8–11 классОпределите, какому столбцу таблицы истинности соответствует каждая переменная8–11 классУпростите выражение (X ∧ Y) ∨ (¬X ∧ Y) ∨ (¬X ∧ ¬Y)8–11 класс