Boolean system (for C ++ / C # / java)

Question

How can I programmatically enable this type of system:

A = !B B = !C D = !B E = !A E = !B 

so I can get by replacing A = C = D (3) and E = B (2) . I need only the number of two groups. If it is not possible to get 2 groups, an error message will be displayed.

Answer 1

In case this is not closed as a hoax, from my answer in the previous question:

To solve equations of the form

X ₁ = NOT X ₃

X ₅ = NOT X ₂

etc.

Create a graph with nodes like X _i and connect X _i and X _j if the equation is X _i = NOT X _j .

Now try a 2-color plot using the first width search.

Answer 2

Consider a string of bits ABCDE . For each subset of this row, set all the variables in this subset to true and all variables that are not included in the subset to false . See which subset suits your conditions.

You can implement this by counting in binary format from 0 to 2^(num variables) - 1 . For each number, its binary representation gives you which variables are true and which are false . So you just need to get all the bits of the number and complete your checks.