我刚刚发现布尔代数并且还在学习，所以请耐心等待......：）
我正在寻找以下内容。据我所知，找到布尔函数变量的所有可能值的问题称为“可满足性”问题。
我不想做一些可满足的事情。
设置是100到10_000个变量的功能。 功能很简单 XOR ，即 x1 ^ x2 ^ x3 .... 。 另外我可能提前知道了一半的变量值，所以我想要部分满意。
找到解决方案的最佳方法是什么？
我目前正在试验PyEDA，所以我可以熟悉布尔代数。 我还没有找到一种方法来做部分满足感。 但即使我找到了一个，我也希望能够自己编写算法代码。
在找到纯XOR-partial-SAT的解决方案之后，我也想探索其他公式，这就是为什么在探索XOR-SAT之后可能需要更通用的算法。
示例：
<?xml version="1.0" encoding="utf-8"?>