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