WolframAlpha computational knowledge AI
SatisfiableQ[(a implies a) xor a]