WolframAlpha computational knowledge AI
SatisfiableQ[!b]