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

Uh oh! Wolfram|Alpha doesn't run without JavaScript.

Please enable JavaScript. If you don't know how, you can find instructionshere.Once you've done that, refresh this page to start using Wolfram|Alpha.