software, programa, aplicación para evaluar y simplificar formulas logicas (tablas de verdad) online, en linea.
Supongamos que deseamos EVALUAR la siguiente formula lógica:
Lo primero es ingresar a la página de WolframAlpha, y luego escribimos en la caja de texto lo siguiente:
truth table p and q or not p
Luego presionamos la tecla enter, y debemos obtener algo como muestra la figura (donde T = verdadero, F = falso):
Otros ejemplos:
Evaluar:
Debemos ingresar: truth table not(p and q and r) or ( not p and q)
