not(A xor C) and (A or B)