子句

有限个文字 的 析取式 称为简单析取式（子句）

$$P\vee Q$$

一个单独的 文字 也是子句

$$Q$$