空子句

空子句是從文字的空集定義的子句。它有多種表示方法，分別用 、 或 表示。

空析取子句的真值評估為 FALSE，而空合取子句的真值評估為 TRUE。