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