Справочник - Задание №2

2-Таблицы истинности
логических выражений

Источники:
сайт Полякова (https://kpolyakov.spb.ru/)

демонстрационная версия станции КЕГЭ (https://kompege.ru/)

1) (№ 1, Демоверсия 2021) Миша заполнял таблицу истинности функции (x∨y)∧¬(y≡z)∧¬w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z. В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Решение

for i in range(2**4):

a=bin(i)[2:]

x,y,z,w=map(int,'0'*(4-len(a))+a)

s=(x or y)and not(y==z)and not w

if s==1:

# переставляя переменные добиваемся соответствие вывода таблице

print(z,y,x,w,' - ',int(s))

Ответ: zyxw

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