literal
指布尔变量或其否定形式
例如，表达式 x_1 \lor \neg x_2 \lor x_3 中的 x_1、\neg x_2、x_3 都是 literal，但表达式本身不是 literal
"literal" 一词来自其字面意义，表示“字面上的”或“直接表达的”
在布尔逻辑中，literal 直接表示布尔变量的值或其否定，没有复杂的运算或结构
cube
在布尔逻辑中，cube 是由多个 literals 通过合取运算构成的表达式
例如，表达式 x_1 \land \neg x_2 \land x_3 是一个 cube
"cube" 的名字来源于几何学中的立方体概念
在布尔空间中，每个布尔变量的取值可以看作是一个维度，多个变量的组合形成一个几何上的立方体或超立方体
clause
在布尔逻辑中，clause 是由多个 literals 通过析取运算构成的表达式
例如，表达式 x_1 \lor \neg x_2 \lor x_3 是一个 clause
"clause" 源于语言学中的子句概念
在自然语言中，子句是句子的组成部分，在布尔逻辑中，clause 是逻辑表达式的组成部分