viernes, 27 de enero de 2012

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

Supongamos que deseamos EVALUAR (tabla de verdad)la siguiente formula lógica:

Lo primero que hacemos 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

Simplificar la fórmula lógica difícil:

Debemos ingresar: simplify ((not q => not p) => (p or not q)) and  not (p and q)

 

La página de WolframAlpha.

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

22 comentarios:

  1. la equivalencia logica como lo haria ??

    ResponderEliminar
  2. Respuestas
    1. Q ∨ ~[~(P ∧ Q)]=Q
      Aplicamos la ley de la doble negación
      Q ∨ (P ∧ Q) = Q
      Aplicamos la ley conmutativa
      Q ∨ (Q ∧ P) = Q
      Aplicamos la ley de absorción
      Q = Q

      Eliminar
  3. ([((~p∧r)∨(p∨r))∧ q]∨(p∧~q))∧~r

    ResponderEliminar
    Respuestas
    1. @Alex.Z el unico inconveniente de esas calculadoras es que no muestra el paso a paso y no menciona las propiedades o leyes de inferencia fueron utilizadas. supongo para aprender no son recomendadas

      Eliminar
  4. como puedo demostrar "c" 1): A→B
    2). B→C
    3). A

    ResponderEliminar
  5. [(q→p)∧(p→q)]∨[(∼p∧q)∨ (∼p∧∼q)]

    ResponderEliminar
  6. simplificar usando las leyes
    [(q→p)∧(p→q)]∨[(∼p∧q)∨ (∼p∧∼q)]

    ResponderEliminar
  7. ∼ {[(p → q) ∧ p] → q}

    ayuda con esa

    ResponderEliminar
  8. Por favor Ayuda.
    demostrar que:
    (p → q) <-> (~p → ~qprposiciones y propiedad

    ResponderEliminar
  9. Ayuda por favor [ (P + Q) (P + Q' ) ] ' [ ( P + Q ) ( P' + Q ) ] ' + Q

    ResponderEliminar
  10. [ (P + Q) (P + Q' ) ] ' [ ( P + Q ) ( P' + Q ) ] ' + Q

    ResponderEliminar
  11. ∼ p ∧ q ⟶ q ⟶ p ∧ p

    ResponderEliminar
  12. https://wolframalpha0.blogspot.com/2012/01/evaluar-o-simplificar-formulas-logicas.html?m=1

    ResponderEliminar
  13. ~{[(~p△q)↔p]∧[(p∨q)→(~q∧~p)]}

    ResponderEliminar