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