离散数学：证明一个析取范式是矛盾式当且仅当它的每个简单合取式都是
展开全部
必要性：
用反证法，假设存在一个简单合取式不是矛盾式，即为真
此时，得到析取范式为真，不是矛盾式！因此假设不成立。
充分性：
每个简单合取式都是矛盾式，则都为假，所有假值表达式析取后，仍为假，
也即该析取范式是矛盾式
用反证法，假设存在一个简单合取式不是矛盾式，即为真
此时，得到析取范式为真，不是矛盾式！因此假设不成立。
充分性：
每个简单合取式都是矛盾式，则都为假，所有假值表达式析取后，仍为假，
也即该析取范式是矛盾式
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
