您好、欢迎来到现金彩票网!
当前位置:在线斗牛棋牌游戏 > 析取范式 >

为什么主析取范式的极小项即是原公式的成真赋值?同样的主合取范

发布时间:2019-06-10 21:39 来源:未知 编辑:admin

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  展开全部主析取范式是由一个个简单合取式构成的,对于简单合取式来说,想要成假有很多很多种情况,想要成真却只有一种情况(包含的命题变项都为真),所以我们只考虑它成真的情况,也就有了主析取范式的极小项即是原公式的成真赋值这一说法。主合取范式正好相反,它是由一个个简单析取式构成的,对于简单析取式来说,想要成真有很多很多种情况,想要成假却只有一种情况(包含的命题变项都为假),所以我们只考虑它成假的情况,也就有了主合取范式的极大项即是原公式的成假赋值这一说法。

  展开全部每个非恒真或恒假的公式,都有且仅有1个主析取范式,与原公式等价。同样,主合取范式同样如此。

http://svabelgium.com/xiqufanshi/154.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有