WolframAlpha computational knowledge AI
truth table !a=>((((((b=>!c)=>d)=>e)=>f)=>g)=>h)