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

例如A-(B-A)是永真的公式用打分表求其析取范式和合取范式但是其

发布时间:2019-07-07 20:51 来源:未知 编辑:admin

  当A为真时,B→A为真,因而A→(B→A)为真,所以A→(B→A)永远为真,即A→(B→A)是一个重言式。A→(B→A)中总共有两个命题变元A和B,因而对应有2^2=4个不同的极大项,每个极大项对应着使得A→(B→A)为假的一种赋值。现在A→(B→A)不可能为假,所以A→(B→A)的主合取范式中不能含有极大项,因而其主合取范式只能是一个不含极大项的空范式。我们约定:用1表示重言式的主合取范式。所以命题公式A→(B→A)的主合取范式为 1。

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