'How to convert expression to xor cnf formulas
I have an expression like this not((a xor b xor c) and (d xor e xor f) and (g xor h xor I)). And I want to convert to xor clauses. I trying to use sympy, but it does not have a method to do that
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|
