命题公式的饱和析合范式名词解释：一种特殊的析合范式.指根据一个命题公式的饱和成真指派集做出的析合范式.设α=(p→q)∨r.α的饱和成真指派集={(F,X,X),(X,T,X),(X,X,T)}.由此集做出一个范式α′=β1∨β2∨β3.其中β1,β2,β3为分别对应于此集合中三个指派的简单合析式.做出这些简单合取式的规律为名词解释：若指派S以T,则在对应的简单合取式中含有S;若指派S以F,则对应的简单合取式中有S;若对S没有指派,则在对应的简单合取式中S不出现.根据些规律,β1＝p,β2＝q,β3＝r,α的一饱和析合范式为
α′=p∨q∨r.
