truth table (x&y) or ~z