The section on Boolean operators suggests that FindInstance
can be applied to them. However, when I try to use it I get a rather confusing error:
Horses :=
(Result == 100 / Speed) &&
((Horse == 1) \[Equivalent] (Speed == 1)) &&
((Horse == 2) \[Equivalent] (Speed == 20))
Result = 5
FindInstance[Horses, {Horse}]
produces the dreaded not a quantified system of equations and inequalities error with no statement of which part is the problem.
Can I not use the relational operator Equivalent
in FindInstance
, or is what I'm trying to do generally invalid?