什么是合取范式

发布网友发布时间：2022-06-01 02:39

共1个回答

热心网友时间：2023-11-13 23:14

合取范式，命题公式的一种标准形，设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。

参考资料：http://ke.baidu.com/view/136297.html?wtp=tt

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com