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