在子句形式中，公式由多个子句组成，其中每个子句由多个仅由 OR 逻辑连接词连接的字面量组成。
公式可以具有以下量词：
- 通用量词 –
可以理解为——“对于所有x，P(x)成立”，意思是P(x)对宇宙中的每个物体x都成立。
示例：所有卡车都有轮子。 - 存在量词——
可以理解为——“存在一个x使得P(x)”，意思是P(x)对宇宙中至少一个物体x成立。
例子：有人关心你。
一个从句形式公式必须转化为另一个具有以下特征的公式：
- 公式中的所有变量都是通用量化的。因此，没有必要为所有人明确包含全称量词。量词被移除，公式中的所有变量都被全称量词隐式量化。
- 由于公式由多个子句组成，每个子句由多个仅由 OR 逻辑连接词连接的字面量组成。因此，每个子句都是字面量的分离。
- 为了形成一个公式，子句本身仅由 AND 逻辑连接词连接。因此，公式的从句形式是从句的连接。
任何公式都可以转换为从句形式。
例子 ：
字面量可以是正字面量或负字面量。对于单个子句的形式，其中每个都是字面量的析取。对于子句形式：
NOT(P1) OR NOT(P2) OR ..... OR NOT(Pn) OR Q1 OR Q2 OR ..... OR Qm 上面的子句有n 个负字面量和m 个正字面量。该子句可以转化为以下等价的逻辑公式：
P1 AND P2 AND ..... AND Pn => Q1 OR Q2 OR ..... OR Qm 其中 ‘=>’ 是隐含符号。
如果所有 p 个字面量(i = 1, 2, …, ) 都为真，则仅当至少一个 Q 为真时，第二个 fromula 才为真，这就是 (implies) 符号的含义。对于第一个 fromula，如果所有 P 个字面量(i = 1, 2, …, n) 都为真，则它们的否定都为假；所以在这种情况下，只有当至少一个 Q 为真时才为真。
因此上述两个公式是等价的，因此它们的真值总是相同的。