什么是主析取范式？

 我来答

1个回答

#热议# 网上掀起『练心眼子』风潮，真的能提高情商吗？

月涧
2022-10-26 · TA获得超过103个赞

知道答主

回答量：10

采纳率：0%

帮助的人：2.8万

我也去答题访问个人页

关注

展开全部

命题公式为真对应的极小项的析取就是主析取范式。

对于命题公式A为真的命题变元指派来说，这组成真指派一定对应一个成真的极小项，现在把这些所有成真的极小项并在一起组成的公式B，就是A的主析取范式。
证明：A等价于B
对于A为真的一组成真指派来说，该组指派一定含有成真的极小项，和其他成假的极小项。
把这些所有的极小项做析取，无论A为真的哪组指派，都必然有一个极小项为真，其他极小项为假。析取得到A必然为真。
如果A为假，在所有的极小项里，必然不包括成真的极小项，那么析取得到B也为假

已赞过 已踩过<

评论收起

推荐律师服务：若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询

什么是主析取范式？

为你推荐：