菜单
定理(范式存在定理)2:任一命题公式都存在与之等值的析取范式与合取范式 。
证明 对于任一给定的命题公式,可通过下列命题逻辑等值演算步骤得到与之等值的析取范式或合取范式:
(1)消去蕴含联结词 和等价联结词 ;
(2)利用demorgen律将否定符内移,利用双重否定律将双重否定符消去;
(3)运用分配律:求合取范式时用析取对合取的分配律,求析取范式时用合取对析取的分配律。
例1 求命题公式 的析取范式。
1.3 极小项
定义:在含有n个命题变项的简单合取式中,若每个命题变项和它的否定式恰好出现一个且仅出现一次,而且命题变项或它的否定式按下标从小到大或按字典顺序排列,称这样的简单合取式为极小项 。
由于在极小项中,每个命题变项以其原型的形式或者以其否定的形式出现,且仅出现一次,所以,若简单合取式中含有 个命题变项,则一共可以产生 个不同的极小项。
共2页:
上一页
1
2
下一页
上一篇:
幼儿区角游戏材料投放与使用问题研究
下一篇:
高考开放性题目分析及教学研究
当代大学生价值观的特点与培育对策
英语语音在小学英语教学...
小学生英语语音学习的困难及对策
方言对学生英语语音的影响
幼儿告状行为的教育策略及原因分析
初一学生地理学习能力的培养
课堂教学中学生地理科学素养的培养
中考体育项目与体育教学合理结合的研究
酸性水汽提装置总汽提塔设计+CAD图纸
java+mysql车辆管理系统的设计+源代码
电站锅炉暖风器设计任务书
当代大学生慈善意识研究+文献综述
十二层带中心支撑钢结构...
大众媒体对公共政策制定的影响
乳业同业并购式全产业链...
河岸冲刷和泥沙淤积的监测国内外研究现状
杂拟谷盗体内共生菌沃尔...
主页
计算机
机械
自动化
关闭菜单
栏目
毕业论文
计算机论文
经济论文
生物论文
数学论文
物理论文
机械论文
新闻传播论文
音乐舞蹈论文
法学论文
文学论文
材料科学
日语论文
英语论文
化学论文
自动化
管理论文
艺术论文
会计论文
土木工程
电子通信
食品科学
教学论文
医学论文
体育论文
论文下载
研究现状
任务书
开题报告
外文文献翻译
文献综述
范文
菜单
毕业论文
刷新
分享
收藏
关于
关闭
关闭
分享本页
返回
关闭
暂无收藏
全部清除
关闭菜单
About
751论文网手机版...
主页:
http://www.751com.cn
关闭
返回