问题描述
我正在研究Dung的论证系统 如何读取此文件内容？ 这是一个描述抽象论证框架的cnf文件
解决方法
该文件定义了以“联合范式”形式编写的布尔表达式。基本上，它是由AND组成的子句，子句中的每个变量都经过“或”运算。
文件格式（.cnf）的第一行以
开头p cnf num_variables num_clauses
所以在您的示例中，变量数为7，子句数为12。
然后每行定义一个子句。例如：
(A v B v C) ^ (A v D v E) ^ (B v C v D)
变量数为5（ABCDE），子句数为3（用AND分隔） 变量索引从1开始，将每个子句放在单独的行上。每行以0结尾，表示该子句的结尾。要显示否定，请在变量前添加“-”（负号）。
p cnf 5 3
1 2 3 0
1 4 5 0
2 3 4 0
我不知道第一行中的e是什么。