WolframAlpha computational knowledge AI
((a nor a) nor a) nor ((a nor b) nor a)