WolframAlpha computational knowledge AI
logic circuit ~a and (~(b and c) or (c and ~d))