truth table (x or ~z) & (y or ~t)