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