# Tabla de verdad de la Negación[br]print("Tabla de verdad de la Negación")[br]print("P\t~P")[br]for p in [True, False]:[br] print(str(p) + "\t" + str(not p))[br][br]# Tabla de verdad de la Conjunción[br]print("Tabla de verdad de la Conjunción")[br]print("P\tQ\tP and Q")[br]for p in [True, False]:[br] for q in [True, False]:[br] print(str(p) + "\t" + str(q) + "\t" + str(p and q))[br] [br]# Tabla de verdad de la Disyunción[br]print("Tabla de verdad de Disyunción")[br]print("P\tQ\tP or Q")[br]for p in [True, False]:[br] for q in [True, False]:[br] print(str(p) + "\t" + str(q) + "\t" + str(p or q))[br] [br]# Tabla de verdad de la Disyunción Exclusiva[br]print("Tabla de verdad de Disyunción Exclusiva")[br]print("P\tQ\tnot(P and Q) and (P or Q)")[br]for p in [True, False]:[br] for q in [True, False]:[br] print(str(p) + "\t" + str(q) + "\t" + str(not (p and q) and (p or q)))[br][br]# Tabla de verdad del Condicional[br]print("Tabla de verdad del Condicional")[br]print("P\tQ\tnot P or Q")[br]for p in [True, False]:[br] for q in [True, False]:[br] print(str(p) + "\t" + str(q) + "\t" + str((not p) or q))[br] [br]# Tabla de verdad de la Bicondicional[br]print("Tabla de verdad de la Bicondicional")[br]print("P\tQ\tnot(P or Q) or (P and Q)")[br]for p in [True, False]:[br] for q in [True, False]:[br] print(str(p) + "\t" + str(q) + "\t" + str(not (p or q) or (p and q)))[br]

# Tabla de verdad de la Negación [br]print("Tabla de verdad de la Negación")[br]print("P\t1-P")[br]for p in [1, 0]:[br] print(str(p) + "\t" + str(1-p))[br][br]# Tabla de verdad de la Conjunción[br]print("Tabla de verdad de la Conjunción")[br]print("P\tQ\tPQ")[br]for p in [1, 0]:[br] for q in [1, 0]:[br] print(str(p) + "\t" + str(q) + "\t" + str(p*q))[br] [br]# Tabla de verdad de la Disyunción[br]print("Tabla de verdad de Disyunción")[br]print("P\tQ\t1-(1-P)(1-Q)")[br]for p in [1, 0]:[br] for q in [1, 0]:[br] print(str(p) + "\t" + str(q) + "\t" + str(1-(1-p)*(1-q)))[br] [br]# Tabla de verdad de la Disyunción Exclusiva[br]print("Tabla de verdad de Disyunción Exclusiva")[br]print("P\tQ\tP(1-Q)+(1-P)Q")[br]for p in [1, 0]:[br] for q in [1, 0]:[br] print(str(p) + "\t" + str(q) + "\t" + str(p*(1-q)+(1-p)*q))[br][br]# Tabla de verdad del Condicional[br]print("Tabla de verdad del Condicional")[br]print("P\tQ\t1-P(1-Q)")[br]for p in [1, 0]:[br] for q in [1, 0]:[br] print(str(p) + "\t" + str(q) + "\t" + str(1-p*(1-q)))[br] [br]# Tabla de verdad de la Bicondicional[br]print("Tabla de verdad de la Bicondicional")[br]print("P\tQ\tP*Q+(1-P)(1-Q)")[br]for p in [1, 0]:[br] for q in [1, 0]:[br] print(str(p) + "\t" + str(q) + "\t" + str(p*q+(1-p)*(1-q)))