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