空子句

空子句是从文字的空集定义的子句。它有多种表示方法，分别用 、 或 表示。

空析取子句的真值评估为 FALSE，而空合取子句的真值评估为 TRUE。