WolframAlpha computational knowledge AI
a ◌̅ (a ◌̅ b)