【文件属性】：
文件名称：Boolean-Satisfiability:解决3-CNF可满足性问题的Java程序
文件大小：2KB
文件格式：ZIP
更新时间：2021-05-08 09:08:56
Java
布尔可满足性
解决3-CNF可满足性问题的Java程序。
例如，如果我们有一个子句和三个变量（我们将分别称为A，B和C）的问题，则问题可能是“（A +！B +！C）”。 如果A为true，或者B或C为false，则该方程式的计算结果为true。
输入可能看起来像这样。
3 1
1 -2 -3
第一个变量A为真（且为正）。 接下来的两个被否定（并且为负）。 该程序读取输入文件，并尝试查找变量的设置，以使整个方程式的计算结果都为true。
【文件预览】：
Boolean-Satisfiability-master
----BooleanSAT.java(3KB)
----README.md(561B)