WolframAlpha computational knowledge AI
P AND Q AND R OR P AND R