WolframAlpha computational knowledge AI
a or b and b or c