WolframAlpha computational knowledge AI
SatisfiableQ[b nand b]