from itertools import *

def f(x,y,z,w):
    return(скобка которая указана в условии)
for a1,a2,a3,a4,a5,a6 in product([0,1], repeat=6):
#(кол-во а=кол-во пропусков в таблице)
    t = {(a1,0,0,0),(0,0,a2,a3),(a4,a5,1,a6)}
    for p in permutations('xyzw'):
        if [f(**duct(zip(p, r))) for r in t] == [1,1,1,]:
            print(*p)