Присоединиться

11 класс·средний уровень

(x → (y → z)) ∧ (y → (z ≡ ¬ w))Дан частично заполненный фрагмент

Условие

Логическая функция F задаётся выражением: (x → (y → z)) ∧ (y → (z ≡ ¬ w))Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F. ????????????F
0000
000
00
Определите, какому столбцу таблицы истинности соответствует каждая из переменных w, x, y, z. В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно. Пример. Пусть заданы выражение x → y, зависящее от двух переменных x и y, и фрагмент таблицы истинности. ??????F
010

Тогда первому столбцу соответствует переменная y, а второму столбцу — переменная x. В ответе нужно написать: yx.

Ответ

Ответ и полный разбор откроются после входа

Посмотреть ответ

Решение по шагам

  1. Как рассуждать

    Решение. Составим таблицу истинности для выражения (x → (y → z)) ∧ (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 not((x <= (y <= z)) and (y <= (z == (not(w))))): print(x, y, z, w)Далее выпишем те наборы переменных, при которых данное выражение равно

Осталось ещё 2 шага

  1. В наборах переменные запишем в порядке х, y…

  2. Тогда второй столбец соответствует переменной…

Получить полное решение

Бесплатно · займёт минуту

Другие задачи по теме «Логика и таблицы истинности»

(x → (y → z)) ∧ (y → (z ≡ ¬ w))Дан частично заполненный фрагмент — решение с объяснением | Lom Ai