WolframAlpha computational knowledge AI
(a nor b) nor a