Boolean-Satisfiability:解决3-CNF可满足性问题的Java程序

布尔可满足性 解决3-CNF可满足性问题的Java程序。 例如，如果我们有一个子句和三个变量（我们将分别称为A，B和C）的问题，则问题可能是“（A +！B +！C）”。 如果A为true，或者B或C为false，则该方程式的计算结果为true。 输入可能看起来像这样。 3 1 1 -2 -3 第一个变量A为真（且为正）。 接下来的两个被否定（并且为负）。 该程序读取输入文件，并尝试查找变量的设置，以使整个方程式的计算结果都为true。