离散数学2-5(1),2-6(1)理论推导和程序实现

最新推荐文章于 2024-09-13 19:41:31 发布

教AI的郑老师

最新推荐文章于 2024-09-13 19:41:31 发布

阅读量221

点赞数

分类专栏：离散数学 Python学习文章标签： python

本文链接：https://blog.csdn.net/weixin_67713662/article/details/124884993

版权

本文详细探讨了离散数学中的2-5(1)和2-6(1)两个习题，通过深入的理论分析并辅以Python程序进行实际操作，展示了问题的解决过程和思路。

摘要由CSDN通过智能技术生成

习题2-5(1)


#求主析取范式，并求其成真赋值 习题2-5-1
def imp(p,q):#implication蕴涵联结词
    return (not p) or q
    
form=[]
value=[]
for p in range(2):
    for q in range(2):
        result=imp(imp(not p,q),(not q) or p)#需要证明的命题
        if result==1:
            form.append("m{}".format(int(str(p)+str(q),2)))
            value.append("{}".format(str(p)+str(q)))
print("所有极小项为:{}".format(form))
if(len(form)==0):
    print("该式为矛盾式")
elif(len(form)==4):
    print("该式为重言式")
if(len(form)!=0):
    print("该式为可满足式")
    
form_final=' or '.join(form)
print("主析取范式为：{}".format(form_final))
print( "成真赋值为：{}".format(value))