4 ms·
if f(x) == g(x) is satisfiable, you get one value of x for which f(x) == g(x) if f(x) != g(x) is satisfiable, you get one value of x for which f(x) != g(x) Bo
by fooker 3y ago
if f(x) == g(x) is satisfiable, you get one value of x for which f(x) == g(x)
if f(x) != g(x) is satisfiable, you get one value of x for which f(x) != g(x)
Both of these are useful in practice.
- programmer_dude 3y agoThis does not answer the question. I think people here know how equations work. But what's the "x" in the article?
- fooker 3y agoThink of cpu instructions as functions. x is the set of inputs to an instruction.
- bjourne 3y agoI see. The goal is to find some x s.t f(x)!=g(x).