WolframAlpha computational knowledge AI
truth table D=>B