(A and (A or B) or (B and A) or not(A)) and (B or not (A))