Introduction - If you have any usage issues, please Google them yourself
Present a Boolean value of N consisting of the sequence A, the relationship given some restrictions, such as A [x] AND A [y] = 0, A [x] OR A [y] OR A [z] = 1, etc. To determine the A [0 .. N-1] value, making its relationship to meet all of restriction. This is called SAT problem, particularly if the relationship of each restriction on the maximum limit of two elements, known as 2-SAT problem