文件名称：Boolean-Satisfiability:解决3-CNF可满足性问题的Java程序
文件大小：2KB
文件格式：ZIP
更新时间：2024-05-28 02:55:36
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)