离散数学主析取范式题，求下列公式的主析取范式和主合取范式

点击联系发帖人 时间：2018-12-02 17:32

离散数学主析取范式

得到主析取范式后可以检查遗漏的极小项，

得到与之相应的极大项

然后这些极大项合取，即可得到主合取范式

你对这个回答的评价是

　　n 个命题变元的命题公式 A 有 2^n 個极大项和 2^n 个极小项，如果 A 的主析取范式含有 k 个极大项则它的主合取范式将含有下标与那 k 个极大项互补的所有极小项。

你对这个回答的評价是

}

离散数学主析取范式必备知识点總结 - 总结第二章命题逻辑离散数学主析取范式知识点 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之...

离散数学主析取范式必备知识点总结 - 总结第二章命题逻辑离散数学主析取范式知识点 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之...

離散数学主析取范式复习题参考带答案_理学_高等教育_教育专区...Q∨P) 中极小项的个数为( A.0 B .1 C.2 ...{2, 3, 6, 12}的上界、下界、最小上界、最大...

离散数学主析取范式試题及解答 - 离散数学主析取范式 2^m*n 一、选择题(2*10) 1.令 P:今天下雨了,Q:我没带伞,则命题“虽然今天下雨了,但是我没带伞”可符号化为( (A)...

离散数学主析取范式题目及答案 - 数理逻辑习题判断题 1.任何命题公式存在惟一的特异析取范式 (√) 2. 公式 p ? (?p ? q) 是永真式 (√) 3.命题公式 ( p ? ...

范式--离散数学主析取范式 - 2.3 范式 ? 2.3.1 析取范式与合取范式 ? ? 简单析取式与简单合取式析取范式与...

离散数学主析取范式部分概念和公式总结 - 命题:称能判断真假的陈述句为命题。命题公式:若在复合命题中,p、q、r 等不仅可以代表命题常项,还可以代表命题变项,这样的...

离散数学主析取范式必备知识点总结 - 总结第二章命题逻辑离散数學主析取范式知识点 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之...

}

离散数学主析取范式上机实验給定一个命题公式，求其主析取范式主合取范式，能力有限参考了我学长的一篇博客，并进行了许多优化

本次离散数学主析取范式實验，我学到了许多东西也看了自己的不足之处

1).我深刻地体会到在比较大型的软件的开发过程中预先进行设计的重要性，就拿这个小程序来说

如果不预先设计好程序需要的算法，各个函数解决方法的一步步流程，那么在真正开发过程中效率将大大降低会不断地删除修改，有时候甚至要重写这都是事先没有进行计划的原因。

2).程序设计中算法的重要性本程序用到了将命题公式转化为逆波兰表达式的算法，我起先一点也不会但是看了学长的源代码理解了个大概，自己又仔细琢磨琢磨也就写出来了，但是现在让我独立再写一遍我是嫃的写不出来了

3).大型程序中函数名称的规范性起先我嫌弃命名规范的话敲起代码来很不舒服，可是随着程序越来越大程序变得越来越難读，最终我全部换成了能一眼看出功能函数名

4).要学会版本控制系统

int var_cnt;//计算用户输入的变量的个数（各不相同的变量的个数重复的算一个） void count_varcnt();////计算用户输入的变量的个数（各不相同的变量的个数，重复的算一个） void InputANDjude_formula();// 用户输入的命题公式并进行检查如果有异常输入，输出警告並重新输入 void Not_Not(char c)//功能：判断运算符是否为！，为什么呢因为如果是！，我只需取一个元素 { //否则的话我必须取两个元素才能计算 //选择要计算的運算符

}

杰西卡呢吗信息网