viernes, 27 de enero de 2012

Evaluar ó Simplificar Formulas Lógicas (tablas de verdad) en Wolfram|Alpha


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)




Evaluar:

Debemos ingresar:  truth table ((p and q) or (p and r)) => (q or r)



Supongamos que deseamos SIMPLIFICAR la formula lógica:

Debemos tipear: simplify (p && q) or not p



Simplificar la formula lógica:

Debemos tipear: simplify (p && q) or not p


La página de WolframAlpha.

keywords: software, programa, aplicación  para evaluar y simplificar formulas logicas (tablas de verdad) online, en linea, wolfram alpha en español.

2 comentarios: