词条 | 合取范式 |
释义 | 合取范式(conjunctive normal form),命题公式的一种标准形,设A是一个命题公式,A中出现的命题变元为p1,p2,…,pn,以Qi表示pi或┐pi,i=1,…,n。称Q1∧…∧Qn是p1,…,pn的一个合取项,若干个互不相同的析取项的合取称为一个合取范式,与命题公式A逻辑等价的合取范式称为A的合取范式。例如命题公式p→(q→r)的合取范式是 p∧q∧r∨[p∧q∧r∨p∧[q∧r∨[p∧[q∧r∨[p∧q∧[r∨p∧[q∧[r∨[p∧[q∧[r。一个命题公式的合取范式可以通过真值表得到,也可以通过等价变换得到。命题公式还有另一种范式,析取范式。析取范式的定义与合取范式对偶,只要把合取与析取对换就可以由合取项得到析取项,由合取范式得到析取范式。 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。