truth table (A AND B) OR C