viernes, septiembre 16

Evaluar ó simplificar formulas logicas (tablas de verdad) online

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)




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.

5 comentarios:

  1. como inserto el implicador ?

    ResponderEliminar
  2. => (signo igual seguido de mayor que)

    ResponderEliminar
    Respuestas
    1. Este comentario ha sido eliminado por el autor.

      Eliminar
  3. Como introduzco estos ejercicios???
    • B ⊂ C ^D ⊂ B
    • 2 ϵ T, T ⊂ C
    • B⊂ A, 5 ϵ A, 5 B

    Porfa los necesito con Urgencia...

    ResponderEliminar

¿Buscas algún tema que no encuentras en el blog?, avísame para incluirlo.