(M and C) or (M and not C) or (C and R and D) or (not M and C and not D)