in reply to Logical Equations

If I remember my studies correctly, then this should be a CSP: http://en.wikipedia.org/wiki/Constraint_satisfaction_problem

The Wikipedia page also mentions ideas on how to solve these problems, for example backtracking: http://en.wikipedia.org/wiki/Backtracking