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