DNF ((B and not(C)) or D or not(B) and C and not(D)) and ( (B and not (C)) or D or (not(B) and C))