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