2-CNF（A.K.A KROM）公式的定义

Question

在我的讲师的笔记中，给出了2-cnf wff的以下定义：

2-CNF公式，或krom公式是CNF公式f，使每个条款具有大多数文字。

但是，在如何在WFF的相应含义图中表示包含单个文字L的子句的条款中没有提及（尽管我想一个人可以从其他文字中添加边缘到L）。看着Krom的原始纸张，他似乎使用的定义是：

2-CNF公式，或krom公式是CNF公式f，使得每个条款都有两个文字。

这个定义似乎更有意义。哪种定义是正确的？我错过了什么？

Answer 1

form的单位子句 $ p $ 与子句 $ p \ lor p $ ，等待箭头 $ \ lnot p \ to p $ 。

作为一个例子，考虑不挑离的CNF $$ p \ land（\ lnot p \ lor q）\ land \ lnot q。$$ 含义图包含以下边缘： $$ \ lnot p \ to p \\ p \ to q， \ lnot q \ to \ lnot p \\ q \ to \ lnot q $$ 这些可以在循环中排列： $$ \ lnot p \ to q \ to \ lnot q \ to \ lnot p $$ 此循环包含 $ p $ 和 $ \ lnot p $ （也是 $ q $ 和 $ \ lnot q $ ），显示公式是不挑离的。