WolframAlpha computational knowledge AI
SatisfiableQ[b nor b]