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