网站首页 百科知识
满足下列条件的析取范式：1.如果某一命题变元在范式里出现，那么，它要在每个简单合取式中都出现；2.没有矛盾的简单合取式；3.在简单合取式中，没有相同的命题变元；4.命题变元及其否定按字典顺序排列；5.没有相同的简单合取式。矛盾的优析取范式为一空式。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。