离散数学 第5讲
离散数学 第5讲
第二章 命题逻辑等值演算
等值演算法求解主析取范式方法和步骤:(1)化为析取范式A;(2)对A中简单合取项补入没有出现命题变元,即合取上(P ∨ P )式,然后应用分配律展开;(3) 将析取式A中重复出现合取项和相同变元合并;(4)除去析取范式中全部永假合取项;
|
楼主: 打了个飞的
|
89
0
[课件与资料] 离散数学第5讲省公开课一等奖全国示范课微课金奖PPT课件 |
|
已卖:7439份资源 院士 98%
-
|
| ||
|
|
扫码京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问:王进律师
知识产权保护声明
免责及隐私声明


