truth table a AND (NOT b or c) OR c