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

急急急 跪求高人指点

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

  主析取范式 在给定的命题公式中,如果有一个等价公式,它仅由小项的析取所组成,则该等价式称作原式的主析取范式。

  主析取范式的惟一性 任意含n个命题变元的非永假命题公式A,其主析取范式是惟一的。

  主合取范式的惟一性 任意含n个命题变元的非永真命题公式A,其主合取范式是惟一的。

  线) 在真值表中,一个公式的真值为T的指派所对应的小项的析取,即为此公式主析取范式。

  (2) (2) 在真值表中,一个公式的真值为F的指派所对应的大项的合取,即为此公式主合取范式。

  对于一个给定n个变元的命题公式A,都可通过等值变换,化为惟一的主析取范式或主合取范式。

  设命题公式中含有n个命题变元,且A的主析取范式中含有k个小项 ,则A的主合取范式必含有 个大项。

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