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