WolframAlpha computational knowledge AI
a+c=1, b-c=0, a+b+c-d=1,b-d=0