WolframAlpha computational knowledge AI
( a AND b ) OR ( a AND b AND c )