析取的概况

Question

如题所述

Answer 1

都是关于P1，
定理2.4.2 对于命题公式G，都存在等价于它的主析取范式。
定理2.4.3 设公式G，H是关于原子P1，…，Pn的两个主析取范式。 如果G，H不完全相同，则G，H不等价。
定理2.4.4 对于任意公式G，存在唯一一个与G等价的主析取范式。
析取范式
Major disjunctive (or conjunctive) normal form, its applications
合取范式（conjunctive normal form):
若干个大项的合取。
析取范式（disjunctive normal form):
若干个小项的析取。
标准句(standard sentence)：合取范式或析取范式
子句（clause）:合取范式中的大项或
析取范式中的小项。
定理1：任意一个命题公式都存在与之等价的合取
范式和析取范式。

Answer 2