(not B and A) or (B and E and F and C and D)