truth table (a or b) and (not a or not b)