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