Логическая функция F задаётся выражением ¬ (X ≡ Y) ∧ (Y → ¬ Z) ∧ (Z ∨ W) Ниже приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных х, у, z, w.
В ответе напишите буквы х, у, z, w в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
wxzy
Код
from itertools import *
def F(x,y,z,w): return not(x == y) and (y <= (not z)) and (z or w)
for a,b,c,d,e,f in product([0,1], repeat=6): table = ((a,0,0,1), (b,c,0,d), (0,e,f,0), (1,1,1,0)) if len(table) == len(set(table)): for perm in permutations('xyzw'): if [F(**dict(zip(perm,row))) for row in table] == [1,1,1,1]: print(*perm, sep='')