WolframAlpha computational knowledge AI
(not x || not y) || z