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:
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.
gregr
ResponderEliminar(p^q^r)v-s
ResponderEliminarla equivalencia logica como lo haria ??
ResponderEliminar{[(~p v q) ^ (~p v ~q)] ->r}
ResponderEliminarLa respuesta es: p ∨ r
EliminarLa solución se puede ver aquí
simplify ((not p or q) && ((not p or not q)) => r)
Qv~[~(P^Q)]=Q
ResponderEliminarQ ∨ ~[~(P ∧ Q)]=Q
EliminarAplicamos 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
([((~p∧r)∨(p∨r))∧ q]∨(p∧~q))∧~r
ResponderEliminarSimplificando queda: p ∧ ~r
Eliminar@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
Eliminarcomo puedo demostrar "c" 1): A→B
ResponderEliminar2). B→C
3). A
1) A→B
Eliminar2) B→C
3) A
S.H. 1,2
4) A→C
M.P.P. 4,3
5) C
[(q→p)∧(p→q)]∨[(∼p∧q)∨ (∼p∧∼q)]
ResponderEliminarsimplificar usando las leyes
ResponderEliminar[(q→p)∧(p→q)]∨[(∼p∧q)∨ (∼p∧∼q)]
La formula se simplica a: ∼p ∨ q
Eliminar∼ {[(p → q) ∧ p] → q}
ResponderEliminarayuda con esa
Por favor Ayuda.
ResponderEliminardemostrar que:
(p → q) <-> (~p → ~qprposiciones y propiedad
Ayuda por favor [ (P + Q) (P + Q' ) ] ' [ ( P + Q ) ( P' + Q ) ] ' + Q
ResponderEliminar[ (P + Q) (P + Q' ) ] ' [ ( P + Q ) ( P' + Q ) ] ' + Q
ResponderEliminar∼ p ∧ q ⟶ q ⟶ p ∧ p
ResponderEliminarhttps://wolframalpha0.blogspot.com/2012/01/evaluar-o-simplificar-formulas-logicas.html?m=1
ResponderEliminar~{[(~p△q)↔p]∧[(p∨q)→(~q∧~p)]}
ResponderEliminar