逻辑语言在python中的实现

一、命题逻辑

逻辑运算符在python中的对应表示形式如下：

1. 设计python程序求命题逻辑公式的真值

例题1：求(¬(Q∧R))→((¬Q)∨(¬R))的真值

          dmath.py

def print01(truthtable):#显示一组指派，即给定一组输入数据，输出0或1
    for tv in truthtable:
        if(tv):
            print("1",end = "  ")
        else:
            print("0",end = "  ")
    print("")
    return

def truthtable2(s):#实现2个命题变项合式公式真值表
    w='Q  R  '+s
    print("%r"%w)
    truth={True,False}
    for Q in truth:
        for R in truth:
            f=eval(s)
            t=[Q,R]+[f]
            print01(t)
    return

def truthtable3(s):#实现3个命题变项合式公式真值表
    w='P  Q  R  '+s
    print("%r"%w)
    truth={True,False}
    for P in truth:
        for Q in truth:
            for R in truth:
                f=eval(s)
                t=[P,Q,R]+[f]
                print01(t)
    return

fuzhi.py

#赋值 (¬(Q∧R))→((¬Q)∨(¬R))真值表
s='(¬(Q∧R))→((¬Q)∨(¬R))'
s='(not(