Python - Tablas de Verdad - Operadores Lógicos - Lógica Matemática
# Tabla de verdad de la Negación
print("Tabla de verdad de la Negación")
print("P\t~P")
for p in [True, False]:
print(str(p) + "\t" + str(not p))
# Tabla de verdad de la Conjunción
print("Tabla de verdad de la Conjunción")
print("P\tQ\tP and Q")
for p in [True, False]:
for q in [True, False]:
print(str(p) + "\t" + str(q) + "\t" + str(p and q))
# Tabla de verdad de la Disyunción
print("Tabla de verdad de Disyunción")
print("P\tQ\tP or Q")
for p in [True, False]:
for q in [True, False]:
print(str(p) + "\t" + str(q) + "\t" + str(p or q))
# Tabla de verdad de la Disyunción Exclusiva
print("Tabla de verdad de Disyunción Exclusiva")
print("P\tQ\tnot(P and Q) and (P or Q)")
for p in [True, False]:
for q in [True, False]:
print(str(p) + "\t" + str(q) + "\t" + str(not (p and q) and (p or q)))
# Tabla de verdad del Condicional
print("Tabla de verdad del Condicional")
print("P\tQ\tnot P or Q")
for p in [True, False]:
for q in [True, False]:
print(str(p) + "\t" + str(q) + "\t" + str((not p) or q))
# Tabla de verdad de la Bicondicional
print("Tabla de verdad de la Bicondicional")
print("P\tQ\tnot(P or Q) or (P and Q)")
for p in [True, False]:
for q in [True, False]:
print(str(p) + "\t" + str(q) + "\t" + str(not (p or q) or (p and q)))
# Tabla de verdad de la Negación
print("Tabla de verdad de la Negación")
print("P\t1-P")
for p in [1, 0]:
print(str(p) + "\t" + str(1-p))
# Tabla de verdad de la Conjunción
print("Tabla de verdad de la Conjunción")
print("P\tQ\tPQ")
for p in [1, 0]:
for q in [1, 0]:
print(str(p) + "\t" + str(q) + "\t" + str(p*q))
# Tabla de verdad de la Disyunción
print("Tabla de verdad de Disyunción")
print("P\tQ\t1-(1-P)(1-Q)")
for p in [1, 0]:
for q in [1, 0]:
print(str(p) + "\t" + str(q) + "\t" + str(1-(1-p)*(1-q)))
# Tabla de verdad de la Disyunción Exclusiva
print("Tabla de verdad de Disyunción Exclusiva")
print("P\tQ\tP(1-Q)+(1-P)Q")
for p in [1, 0]:
for q in [1, 0]:
print(str(p) + "\t" + str(q) + "\t" + str(p*(1-q)+(1-p)*q))
# Tabla de verdad del Condicional
print("Tabla de verdad del Condicional")
print("P\tQ\t1-P(1-Q)")
for p in [1, 0]:
for q in [1, 0]:
print(str(p) + "\t" + str(q) + "\t" + str(1-p*(1-q)))
# Tabla de verdad de la Bicondicional
print("Tabla de verdad de la Bicondicional")
print("P\tQ\tP*Q+(1-P)(1-Q)")
for p in [1, 0]:
for q in [1, 0]:
print(str(p) + "\t" + str(q) + "\t" + str(p*q+(1-p)*(1-q)))