truth table x or ((not z) and y) or z and ((not y) or (not w))