( (A XOR C) AND A ) OR (NOT(A XOR C) AND B)