truth table A AND (B OR C)