Python——真值表查询(and/or/not/xor/<—>/—>)(tkinter实现)
[功能模块作者]
CSDN用户(TDTX),TDTX主页——负责真值表查询功能
【注】简简单单的真值表查询功能……
1.Logicf.py
def Logicf():
import tkinter as tk
logicfwindow=tk.Tk()
logicfwindow.title("真值表")
logicfwindow.geometry("620x800")
def sczzb():
lostr=e1.get()
if lostr=='0':
tx.insert('insert','\n【真值表】:\n')
tx.insert('insert','q\tp\tq and p\n')
tx.insert('insert','0\t0\t0\n')
tx.insert('insert','0\t1\t0\n')
tx.insert('insert','1\t0\t0\n')
tx.insert('insert','1\t1\t1\n')
elif lostr=='1':
tx.insert('insert','\n【真值表】:\n')
tx.insert('insert','q\tp\tq or p\n')
tx.insert('insert','0\t0\t0\n')
tx.insert('insert','0\t1\t1\n')
tx.insert('insert','1\t0\t1\n')
tx.insert('insert','1\t1\t1\n')
elif lostr=='2':
tx.insert('insert','\n【真值表】:\n')
tx.insert('insert','q\tp\tnot q\tnot p\n')
tx.insert('insert','0\t0\t1\t1\n')
tx.insert('insert','0\t1\t1\t0\n')
tx.insert('insert','1\t0\t0\t1\n')
tx.insert('insert','1\t1\t0\t0\n')
elif lostr=='3':
tx.insert('insert','\n【真值表】:\n')
tx.insert('insert','q\tp\tq ⊕ p\n')
tx.insert('insert','0\t0\t0\n')
tx.insert('insert','0\t1\t1\n')
tx.insert('insert','1\t0\t1\n')
tx.insert('insert','1\t1\t0\n')
elif lostr=='4':
tx.insert('insert','\n【真值表】:\n')
tx.insert('insert','q\tp\tq ↔ p\n')
tx.insert('insert','0\t0\t1\n')
tx.insert('insert','0\t1\t0\n')
tx.insert('insert','1\t0\t0\n')
tx.insert('insert','1\t1\t1\n')
elif lostr=='5':
tx.insert('insert','\n【真值表】:\n')
tx.insert('insert','q\tp\tq → p\n')
tx.insert('insert','0\t0\t1\n')
tx.insert('insert','0\t1\t1\n')
tx.insert('insert','1\t0\t0\n')
tx.insert('insert','1\t1\t1\n')
lb1=tk.Label(logicfwindow, text='<请输入逻辑符号>\n与(and)-0、或(or)-1、非(not)-2\n异或(⊕)-3、等价(↔)-4、蕴含(→)-5:', bg='orange', font=('Arial', 12), width=40, height=3)
lb1.pack()
e1 = tk.Entry(logicfwindow,font=('Arial', 14))
e1.pack()
bt2=tk.Button(logicfwindow,text='确认逻辑符号',width=10,height=1,font=('Arial', 12),command=sczzb)
bt2.pack()
lb2=tk.Label(logicfwindow, text='真值表如下:', bg='orange', font=('Arial', 12), width=62, height=1)
lb2.pack()
tx=tk.Text(logicfwindow,width=80,height=50)
tx.pack()
logicfwindow.mainloop()