析取

用连词∨把几个公式连接起来所构成的公式叫做析取，而此析取式的每一组成部分叫做析取项。一些合适公式所构成的任一析取也是一个合适公式。 恒假公式的主析取范式用0表示。定理2.4.2 对…