WolframAlpha computational knowledge AI
a and b or !(a or b)