当前位置:新励学网 > 秒知问答 > 永真式的合取范式是什么

永真式的合取范式是什么

发表时间:2024-07-28 05:11:37 来源:网友投稿

主析取范式 在给定的命题公式中,如果有一个等价公式,它仅由小项的析取所组成,则该等价式称作原式的主析取范式。 主析取范式的惟一性 任意含n个命题变元的非永假命题公式a,其主析取范式是惟一的。 主合取范式的惟一性 任意含n个命题变元的非永真命题公式a,其主合取范式是惟一的。

真值表的主范式求法

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

2、在真值表中,一个公式的真值为f的指派所对应的大项的合取,即为此公式主合取范式。 主范式的等值演算法 对于一个给定n个变元的命题公式a,都可通过等值变换,化为惟一的主析取范式或主合取范式。 主范式之间的关系 设命题公式中含有n个命题变元,且a的主析取范式中含有k个小项 ,则a的主合取范式必含有 个大项。

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!