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.
=> (signo igual seguido de mayor que)
ResponderEliminarTambién se puede utilizar el comando "implies", por ejemplo: p => ~q se puede ingresar como:
Eliminarp implies not q
Este comentario ha sido eliminado por el autor.
EliminarComo introduzco estos ejercicios???
ResponderEliminar• B ⊂ C ^D ⊂ B
• 2 ϵ T, T ⊂ C
• B⊂ A, 5 ϵ A, 5 B
Porfa los necesito con Urgencia...
ni la menor idea
Eliminar[(∼q ⟶~�� )⟶ (∼p ⟶~�� )] ⋀∼( �� ⋀ q)
EliminarAYUDA POR FAVOR, NO ME SALE LA RESPUESTA
Los símbolos no se notan bien
Eliminar[(q --> p) ʌ (~p --> q)] --> ~(p v ~q)
ResponderEliminarnecesito simplificar esta proposicion
[(p∧q) v (p∧~q)] v (~p∧~q) necesito simplificar esto
ResponderEliminar[(p∧q)∨(p∧~q)] ∨ (~p∧~q)
EliminarLey distributiva
[((p∧q)∨p)∧((p∧q)∨~q))] ∨ (~p∧~q)
Ley conmutativa
[(p∨(p∧q))∧(~q∨(p∧q))] ∨ (~p∧~q)
Ley de absorción
[(p)∧(~q∨(p∧q))] ∨ (~p∧~q)
Ley distributiva
[p∧((~q∨p)∧(~q∨q))] ∨ (~p∧~q)
Ley de idempotencia
[p∧(~q∨p)∧(V))] ∨ (~p∧~q)
Ley del complemento
[p∧(~q∨p)] ∨ (~p∧~q)
Ley conmutativa, de absorción
[p] ∨ (~p∧~q)
Ley distributiva
(p∨~p)∧(p∨~q)
Ley de idempotencia
(V)∧(p∨~q)
Ley del complemento
(p∨~q)
NO fue hace mucho, si puedieras con este? ((~p^~q)v(pvq))^(pvq^(~rv~p)) ya debes suponer donde estan los corchetes, si estas ahí, por favor
Eliminarcomo simplifico?
ResponderEliminart → {[(𝑝 → 𝑞) → 𝑞] [~𝑝 (𝑞 → 𝑝)]} necesito simplificar
ResponderEliminar[(p ˅ q) ^ (p ˅ r)] ^ [∼ (∼ p ^ q)] ≡ p
ResponderEliminarSimplificar [p∨q∨{∼p∧∼q}]∧[∼p∨q]∧p
ResponderEliminarEl resultado es: p ∧ q
EliminarEn la aplicación debes ingresar la formula equivalente:
simplify ((p or q) or (not p && not q)) && ( not p or q) && p
El procedimiento de la simplificación de la formula lógica la puedes ver aquí
[p∨q∨{∼p∧∼q}]∧[∼p∨q]∧p
Simplifica [((~p)∧q)→(r∧~r)]∧(~q) porfavor ayuda
ResponderEliminarEsta formula logica no se puede simplificar, a lo mucho quedaría asi
Eliminar[((~p)∧q)→(r∧~r)]∧(~q)
[((~p)∧q)→ F]∧(~q)
˜ (˜ (˜r v s) ^ ˜ s)
ResponderEliminarPara simplificar la fórmula lógica hay que aplicar las leyes de Morgan
Eliminar=> ~(~(~r ∨ s) ∧ ~s)
=> (~~(~r ∨ s) ∨ ~~s)
=> (~r ∨ s) ∨ s
Propiedad asociativa de la disyunción
=> ~r ∨ (s ∨ s)
Idenpotencia
=> ~r ∨ (s)
=> ~r ∨ s
Necesito ayuda para poder simplificar[(¬P ∧ Q) ∨ ¬(Q ∨ P)] ∧ [(P ∨ R) ∧ (P ∨ ¬R)] por favor
ResponderEliminarEl resultado de la simplificación de la fórmula lógica es falso, en el siguiente enlace lo puedes ver
Eliminarsimplify ((not p && q) or not (p or q)) and ((p or r) and (p or not r))
Muchas gracias!
Eliminar~p^(q=>r) el resultado sería
ResponderEliminara) (pvq)=>~r
b) (p^q)=>r
c)pv~(q=>r)
Ayudaa
ResponderEliminarSimplificar las siguientes proposiciones:
ResponderEliminara) p ^ (q ^ ~p)
b) (p ^ q) v p
c) (p → q) v ~p
d) (p → q) v p
a) p ^ (q ^ ~p)
Eliminar=> p ^ q ^ ~p
=> p ^ ~p ^ q
=> F ^ q
=> F
a) (¬pvq)→p
ResponderEliminarb)(p↔¬q)→(¬p^q)
c)(p→q)v(p^q)
ayudame porfisss
"a) (¬p ∨ q)→ p"
Eliminar=> ¬(¬p ∨ q)∨ p
=> (p ∧ ¬q)∨ p
=> p ∨ (p ∧ ¬q)
=> p
ayudame
Eliminara){pvq)vr)}^(rvq)
ayudameeee
Aplicando leyes lógicas, la simplificación queda:
Eliminar=>((p ∨ q) ∨ r) ∧ (r ∨ q)
=>((p ∨ (q ∨ r)) ∧ (r ∨ q)
=>((p ∨ (r ∨ q)) ∧ (r ∨ q)
=> (r ∨ q)
simplificar preposicion [∼ (p ^∼q) →(∼p^∼q)] v (∼p^q)
ResponderEliminar5. Escribir en forma simbólica la siguiente proposición compuesta:
ResponderEliminar“La chatura y el tedio de ciertas disciplinas escolares se transmiten a los maestros, y las escuelas se llenan de hombres y
mujeres de mentalidad estrecha, vanidosos, cuyo horizonte está limitado por el pizarrón y el libro de texto”
6. Confeccionar las tablas de valores de verdad de las proposiciones y verificar si es tautología:
i) p ∧ ¬p ii) (p ∧ q)⇒ r iii)¬( p ∨ q) ⇔ ¬p ∧ ¬q iv) [( p ⇒ q) ∧ ¬q]⇒ ¬p
7. Determinar el recíproco, contrario y contrarecíproco de cada proposición:
a) Si tiene valor, ganará
b) Es suficiente ser un cuadrado para ser rectángulo
c) Si x es menor que cero, entonces x no es positivo
d) p ⇒ ~ q e) ~ p ⇒ q f) ~ p ⇒ ~ q
8. Simplificar
a) (p ∧ ~ q) ⇒ (r ∧ ~ r )
b) ~ [~ p ∨ ~ ~ q] ∧ ~ ~ q
Matemática Para Computadoras Lic. Gonzalo Callisaya Loza
c) [ p ∨ ( q ⇔ ~ p )] ⇒ ~ q
d) ( p ∧ q ) ∨ (~ p ∧ ~ q )
e) [( p ⇒ q ) ∧ r ∨ ( p ⇒ q ) ∧ ~ r
9. Escribir la negación de :
a) “Debemos comerciar con o ayudar a las naciones extranjeras”
b) “Si bajamos nuestra producción entonces nuestras exportaciones aumentarán.”
c) “Si los precios de la bolsa bajan, entonces el desempleo aumenta”
d) “Si José lee El Diario, entonces no lee La Razón ni La Prensa”
e) “Si Juan Pueblo estudia, entonces pasará de curso en Matemática”
10. Establecer si las premisas son consistentes o no.
a) Si un hilo en un circuito eléctrico se funde y el hilo de otro no se funde, entonces el primer hilo tiene una resistencia
más elevada, o ha pasado por él una corriente de mayor intensidad. Si el primer hilo tiene mayor resistencia, entonces una
mayor cantidad de energía en el primer circuito se convirtió en calor.
Si una corriente de mayor intensidad ha circulado por él, entonces una mayor cantidad de energía en el primer circuito se
convirtió en calor.
No ocurre que una mayor cantidad de energía eléctrica en el primer circuito se convirtiera en calor.
No ocurre que un hilo en un circuito eléctrico se funda, y el hilo en otro no se funda.
b) No hay muchas chicas o hay pocos chicos. Hay muchas flores, si hay pocos chicos y muchas flores, entonces habrán
muchas abejas.
c) (1) p ⇒ q d) (1) a ∧ b
(2) p ∨ q (2) a ⇒ ¬ c
(3) s ⇒ t (3) (¬ c ∧ d ) ⇒ ¬ b
(4) q ⇒ r (4) b ⇒ d
e) (1) p ⇒ q ∨ r f) (1) r ⇒ q
(2) s ⇒ ¬ r (2) p ⇒ q
(3) q ∧ r (3) q ⇒ ¬t
(4) q ⇒ ¬ p
11. Realiza las pruebas formales de las siguientes demostraciones:
a) Demostrar ¬ p d) (1) r ⇒ p
(1) ( p ∧ q ) ⇒ s (2) ¬ q ⇒ ¬ r
(2) ¬ s ∨ ¬ t (3) s ⇒ q
(3) t ∧ u (4) (p ∧ q) ⇒ t
(4) q (5) ¬ s ∨ p (c) ( r ∨ s ) ⇒ t
b) (1) n ⇒ m c) (1) R ⇒ ¬ P
(2) k ⇒ l (2) ( R ∧ S ) ∨ T
(3) ¬ n ⇒ (¬ k ⇒ o) (3) T ⇒ (Q ∨ U)
(4) ¬ o Conclusión m ∨ l (4) ¬ Q ∧ ¬ U (c) ¬ P
ayuda
ResponderEliminar(Q ⇒ R)⇒[(P ∨ Q)⇒(P ∨ R)]
simplificar: [(ρΛq)→r]→(qΛp)]νq ayuda en esto porfavor
ResponderEliminar[(q → p) ∧ (∼ p → q) ∧ (q → q)] ⇔ p
ResponderEliminarSimplificando la formula lógica queda:
Eliminar[(q → p) ∧ (∼ p → q) ∧ (q → q)] ⇔ p
[(q → p) ∧ (∼ p → q) ∧ V] ⇔ p
[(q → p) ∧ (∼ p → q)] ⇔ p
[(∼ q ∨ p) ∧ (p ∨ q)] ⇔ p
[(p ∨ ∼ q) ∧ (p ∨ q)] ⇔ p
[(p ∧ (p ∨ q)) ∨ (∼ q ∧ (p ∨ q))] ⇔ p
[(p ∧ (p ∨ q)) ∨ (∼ q ∧ (q ∨ p))] ⇔ p
[(p) ∨ (∼ q ∧ p)] ⇔ p
[p ∨ (p ∧ ∼ q)] ⇔ p
[p] ⇔ p
V
simplificar:
ResponderEliminar~[ ( ~p -> q) -> q] v [(p ^ r) -> (r -> p ) ]
[~p → (q → ~p)] simplificar
ResponderEliminarUtilizando las leyes de la lógica, la simplificación será:
Eliminar[~p → (q → ~p)]
[~~p ∨ (~q ∨ ~p)]
[p ∨ ~q ∨ ~p]
[(p ∨ ~p) ∨ ~q ]
[(V) ∨ ~q ]
~q
[(~q ^ p)v(p v ~q)]^(~p v ~q)
ResponderEliminarsimplificar
EliminarPara simplificar, usaremos las siguientes leyes lóogicas
EliminarAplicamos la ley conmutativa
[(p ∧ ~q) ∨ (p ∨ ~q)] ∧ (~p ∨ ~q)
Por la ley asociativa
[(p ∧ ~q) ∨ p ∨ ~q] ∧ (~p ∨ ~q)
[p ∨(p ∧ ~q) ∨ ~q] ∧ (~p ∨ ~q)
Aplicamos la ley de absorción
[ ~q ∨ ~q] ∧ (~p ∨ ~q)
Ley de idempotencia
[~q] ∧ (~q ∨~p)
Y finalmente Ley de absorción
~q
por favor ayuda
ResponderEliminar~((~((pvq)∧r))∨(~q))≡q∧r ayuda con la simplificación
ResponderEliminar~((~((p∨q)∧r))∨(~q)) ≡ q∧r
EliminarAplicamos la ley de Morgan
(~(~((p∨q)∧r))∧~(~q)) ≡ q∧r
Anulamos la doble negación
(((p∨q)∧r)∧ q) ≡ q∧r
Usamos la ley conmutativa
((p∨q)∧ r ∧ q) ≡ q∧r
(q ∧(p∨q)∧ r) ≡ q∧r
Usamos la ley asociativa
((q ∧(q∨p))∧ r) ≡ q∧r
Aplicamos la ley de la absorción
((q)∧ r) ≡ q∧r
(q∧r) ≡ q∧r
simplificar p=[(~q→~p)→(~p→~q)]∧~(p∧q)
ResponderEliminar[(p∨~q)∧q] → p
ResponderEliminar.(q p p q q p → → ∨ → ∧ ) ⎡ ⎤ ( ) ( ) ⎣ ⎦ necesito simplificar estos dos ejercicios. Ayudaaaaaa
[(p∨~q)∧q] → p
EliminarPropiedad conmutativa
[q∧(p∨~q)] → p
Propiedad distributiva
[(q∧p)∨(q∧~q)] → p
[(q∧p)∨(F)] → p
(q∧p) → p
Ley de la condicional
~(q∧p)∨ p
Ley de Morgan
(~q ∨ ~p)∨ p
Propiedad Asociativa
~q ∨ (~p ∨ p)
~q ∨ (V)
V
~[~(s → t) → ~(t → s)] hola me podría ayudar
ResponderEliminarayuda para simplificar ~{[(pv~q) → ~[~(p^r) → ~q]}
ResponderEliminar~{[(pv~q)] → ~[~(p^r) → ~q]}
EliminarLey de la condicional
~{~[(p∨~q)] ∨ ~[~~(p^r) ∨ ~q]}
Doble negación
~{~[(p∨~q)] ∨ ~[(p∧r) ∨ ~q]}
Ley de Morgan
{~~[(p∨~q)] ∧ ~~[(p∧r) ∨ ~q]}
Doble negación
{(p∨~q) ∧ [(p∧r) ∨ ~q]}
Ley distributiva
{[(p∨~q)∧(p∧r)] ∨ [(p∨~q)∧~q]}
Ley de Absorción
{[(p∨~q)∧(p∧r)] ∨ [~q]}
Ley conmutativa, asociativa
{[(p∧(p∨~q))∧r] ∨ ~q}
Ley de Absorción
{[p∧r] ∨ ~q}
No veo bien como simplificar lo siguiente :
ResponderEliminar∼ [(q → p) ∧ (p →∼ q)] ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q)
Aplicando las leyes de la lógica:
EliminarLey de la condicional
∼ [(∼q ∨ p) ∧ (∼p ∨∼ q)] ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q)
Ley de Morgan
∼(∼q ∨ p) ∨ ∼(∼p ∨∼ q) ∨ (∼ p ∧ q) ∨ (∼ p∧ ∼ q)
Ley de Morgan
(∼∼q ∧ ∼p) ∨ (∼∼p ∧ ∼∼q) ∨ (∼ p ∧ q) ∨ (∼ p ∧ ∼ q)
Doble negación
(q ∧ ∼p) ∨ (p ∧ q) ∨ (∼ p ∧ q) ∨ (∼ p ∧ ∼ q)
Ley asociativa y conmutativa
((∼p ∧ q ) ∨ (∼p ∧ q)) ∨ (p ∧ q) ∨ (∼ p ∧ ∼ q)
Idempotencia
((∼p ∧ q )) ∨ (p ∧ q) ∨ (∼ p ∧ ∼ q)
Ley asociativa y conmutativa
((p ∧ q) ∨ (∼p ∧ q )) ∨ (∼ p ∧ ∼ q)
Ley de absorción
(q) ∨ (∼p ∧ ∼q)
Ley distributiva
(q ∨ ∼p) ∧ (q ∨ ∼q)
Ley conmutativa, ley del complemento
(∼p ∨ q) ∧ (V)
Ley de identidad
(∼p ∨ q)
Ley de la condicional
p → q
debo simplificar: p ↓ [ q ˍ˅ (∼ q → p )].
ResponderEliminarNOTA: (ˍ˅ ese símbolo es una disyunción exclusiva)
Primero debes expresar la fórmula lógica en términos de los operadores operadores básicos (∨,∧,∼), luego usar las leyes lógicas equivalentes para simplificar
Eliminareso es lo que no entiendo, pero gracias.
Eliminardisculpe hay una calculadora online para sacar el resultado..?
ResponderEliminarAyuda con esa información por favor una calculadora para ese tema
ResponderEliminarWolframAlpha, pero debes ingresar las formulas lógicas como se muestra en los ejemplos
EliminarY como le puedo poner el ejercicio para q me salga la respuesta una explicación por favor
EliminarLos ejemplos que están al comienzo de la pagina muestran como ingresar los distintos operadores lógicos
Eliminarle pongo "simplify" y me da el valor de verdad
Eliminarbueno :v
me podés ayudar a simplificar este? era más largo pero llegué hasta ahí y ya no sé qué más hacer
Eliminar(p∧¬q) ∨ (q∧p) ∨ ¬p
(p ∧ ¬q) ∨ (q ∧ p) ∨ ¬p
EliminarLey conmutativa
(p ∧ ¬q) ∨ ¬p ∨ (p ∧ q)
Ley asociativa
(p ∧ ¬q) ∨ [¬p ∨ (p ∧ q)]
Ley distributiva
(p ∧ ¬q) ∨ [(¬p ∨ p) ∧ (¬p ∨ q)]
Ley del complemento
(p ∧ ¬q) ∨ [V ∧ (¬p ∨ q)]
Ley de identidad
(p ∧ ¬q) ∨ [¬p ∨ q]
Ley de conmutatividad
¬p ∨ q ∨ (p ∧ ¬q)
Ley de asociatividad
¬p ∨ [q ∨ (p ∧ ¬q)]
Ley distributiva
¬p ∨ [(q ∨ p) ∧(q ∨ ¬q)]
Ley del complemento
¬p ∨ [(q ∨ p) ∧ V]
Ley de identidad
¬p ∨ (q ∨ p)
Ley de conmutatividad, asociatividad
q ∨ (p ∨ ¬p)
Ley del complemento
q ∨ (V)
Ley de identidad
q
[(¬p ∧ q) → (r ∧ ¬r)] ∧ ¬q
ResponderEliminarp → (q ∨ ¬p)
(q ∨ ¬p) → p
necesito sinplificar estas tres por favor, urgenteeeee
[(¬p ∧ q) → (r ∧ ¬r)] ∧ ¬q
ResponderEliminarp → (q ∨ ¬p)
(q ∨ ¬p) → p
necesito simplificar estas tres por favor urgente
Aplicando las reglas lógicas para simplificar, tenemos:
Eliminar(q ∨ ¬p) → p
Ley de la condicional
¬(q ∨ ¬p) ∨ p
Ley de Morgan
¬q ∧ ¬¬p ∨ p
Doble negación
¬q ∧ p ∨ p
Ley asociativa
¬q ∧ (p ∨ p)
Idempotencia
¬q ∧ p
me ayudas con esta [(¬p ∧ q) → (r ∧ ¬r)] ∧ ¬q
Eliminarexiste alguna app gratuita aque simplifique esos ejercicios con prcedimiento?
EliminarNo conozco ninguna app gratuita que muestre procedimiento
Eliminar1. p˅[p˄(p˅q)] ↔p ayuda
ResponderEliminarPara simplificar la formula logica solo hay que aplicar dos leyes
Eliminarp˅[p˄(p˅q)] ↔ p
Ley de absorción
p˅[p] ↔ p
Ley de idempotencia
p ↔ p
[(p^-q) v(p^ q)] (-p^-q)
ResponderEliminar[(p^-q)v(p^ q)]→(-p^-q) ayuda porfavor
ResponderEliminarSimplificaremos la expresión aplicando las leyes lógicas
Eliminar[(p ˄ ¬q) ∨ (p ˄ q)] → (¬p ˄ ¬q)
Ley distributiva y de Absorción
[p] → (¬p ˄ ¬q)
Ley condicional
¬ p ∨ (¬p ˄ ¬q)
Ley de absorción
¬ p
~ [(q → p) ^ (p → q)] v [(~p ^ q) v (~p ^ ~q)]
ResponderEliminar{~ t v [S v ~ (t ^ S)]} ^ [~ (t v r) v (~ s v t)]
ResponderEliminarLey de Morgan
Eliminar{~t ∨ s ∨ (~t ∨ ~s)} ˄ [(~t ˄ ~r) ∨ (~s ∨ t)]
Ley asociativa
{~t ∨ s ∨ ~t ∨ ~s} ˄ [(~t ˄ ~r) ∨ ~s ∨ t]
Ley conmutativa
{~t ∨ ~t ∨ s ∨ ~s} ˄ [t ∨ (~t ˄ ~r) ∨ ~s]
Ley asociativa
{(~t ∨ ~t) ∨ (s ∨ ~s)} ˄ [t ∨ (~t ˄ ~r) ∨ ~s]
Ley del complemento, idempotencia
{(~t) ∨ (V)} ˄ [t ∨ (~t ˄ ~r) ∨ ~s]
Ley de identidad
(~t) ˄ [t ∨ (~t ˄ ~r) ∨ ~s]
Ley distributiva
[(~t ˄ t) ∨ (~t ˄ (~t ˄ ~r)) ∨ (~t ˄ ~s)]
Complemento
[(F) ∨ (~t ˄ (~t ˄ ~r)) ∨ (~t ˄ ~s)]
Identidad
[(~t ˄ (~t ˄ ~r)) ∨ (~t ˄ ~s)]
Absorción
[(~t) ∨ (~t ˄ ~s)]
Absorción
(~ s)
{[(pV¬q)∧(qV¬p)]v[(p∧¬q)∧(q∧¬p)]}∧(pV¬q) AYUDA!
ResponderEliminarEste ejercicio ya esta resuelto anteriormente
Eliminar(p∨q)→(¬p∧q)
ResponderEliminarSimplificación de eso, por favor
No comprendo para nada las leyes de las proposiciones
Yo quisiera simplificar esto. ( - A v -B) -> [ (C ^ A) <-> - ( C -> B) ]
ResponderEliminar(¬p∨¬q)∧(¬p∧(q→p)) ayuda
ResponderEliminarSimplifique la siguiente proposición compuesta
ResponderEliminar(p∧q)∨¬[(p∨q)→(p∧q)]∨(p∨q)
(p∧q)∨¬[(p∨q)→(p∧q)]∨(p∨q) simplificar
ResponderEliminarAplicando las leyes lógicas tenemos lo siguiente:
EliminarLey conmutativa
(p∨q)∨(p∧q)∨¬[(p∨q)→(p∧q)]
Ley asociativa, absorción
((p∨q)∨(p∧q))∨¬[(p∨q)→(p∧q)]
(p∨q)∨¬[(p∨q)→(p∧q)]
Ley de la condicional
(p∨q)∨¬[¬(p∨q)∨(p∧q)]
Ley de Morgan
(p∨q)∨[¬¬(p∨q)∧¬(p∧q)]
Ley de la doble negación
(p∨q)∨[(p∨q)∧¬(p∧q)]
Ley de Absorción
(p∨q)
Simplificación mínima de esta proposición compuesta ayuda...
ResponderEliminar{r→[¬(q∧r)∧r]}→¬q
Ley de Morgan
Eliminar{r → [(¬q∨¬r)∧r]} → ¬q
Ley conmutativa
{r → [r∧(¬r∨¬q)]} → ¬q
Aplicando la ley distributiva
{r → [(r∧¬r)∨(r∧¬q)]} → ¬q
Ley del complemento
{r → [F∨(r∧¬q)]} → ¬q
Identidad
{r → (r∧¬q)} → ¬q
Ley de la condicional
¬{¬r ∨ (r∧¬q)} ∨ ¬q
Ley distributiva
¬{(¬r∨r)∧(¬r∨¬q)} ∨ ¬q
Ley del complemento
¬{(V)∧(¬r∨¬q)} ∨ ¬q
Identidad
¬(¬r∨¬q) ∨ ¬q
Ley de Morgan
(r∧q) ∨ ¬q
Ley conmutativa
¬q ∨ (q∧r)
Ley distributiva
(¬q∨q)∧(¬q∨r)
Ley del complemento, identidad
¬q ∨ r
Hola! necesito resolver esto. Ayuda!
ResponderEliminarDemostrar que:
1 (p → q) ⇔ (~q → ~p)
proposiciones y propiedad
2 [~(p v q) v (~p ∧ q )] → (~p ∧ q)
2 [~(p v q) v (~p ∧ q )] → (~p ∧ q)
ResponderEliminarproposiciones y propiedad usada
Necesito la ayuda, le agradezco pronta respuesta.
Simplificamos aplicando las leyes de la lógica en cada paso:
EliminarLey de la condicional
~[~(p v q) v (~p ∧ q )] v (~p ∧ q)
Ley de Morgan
[(p v q) ∧ ~(~p ∧ q )] v (~p ∧ q)
Ley conmutativa
(~p ∧ q) v [~(~p ∧ q ) ∧ (p v q)]
Ley de absorción
(~p ∧ q) v (p v q)
Ley asociativa
((~p ∧ q) v p) v q
Ley conmutativa
(p v (~p ∧ q)) v q
Ley de absorción
(p v q) v q
Ley asociativa
p v (q v q)
Idempotencia
p v q
demostrar que:
ResponderEliminar(p → q) ⇔ (~q → ~p)
proposiciones y propiedad
holaa... necesito la ayuda por favor.
ResponderEliminardemostrar que:
(p → q) ⇔ (~q → ~p)
proposiciones y propiedad
Aplicamos la ley de la condicional
Eliminar(~p v q) ⇔ (~~q v ~p)
Doble negacion
(~p v q) ⇔ (q v ~p)
Ley conmutativa
(~p v q) ⇔ (~p v q)
un millon DE GRACIAS. AGRADECIDA.
Eliminarcomo se puede simplificar este ejemplo? [ B' C' + ( A' + C )' ] ' [ ( A' + C ) B' ] ' B' C
ResponderEliminarNecesito traducir estas proposiciones lógicas en lenguaje castellano .primero elegir una proposición simple en castellano para cada letra proporcional y luego escribir la propósicion completa en castellano.1)~p 2)tv~q 3)~(r>s) 4)(t^~r)>w
ResponderEliminarEsta entrada del blog solo es para simplificar fórmulas aplicando las leyes lógicas, no tratamos el tema de simbolización
Eliminar
ResponderEliminar( —R ^ P ) v —( Q → R ) v [—R ^ —( P ^ Q ) ] necesito simplificar esto alguien me ayuda?
Simplificamos aplicando las leyes de la lógica:
EliminarLey de la Condicional
(~R∧P)v~(~QvR)v[~R∧~(P∧Q)]
Ley de Morgan
(~R∧P)v(~~Q∧~R)v[~R∧~(P∧Q)]
Ley de la doble Negación
(~R∧P)v(Q∧~R)v[~R∧~(P∧Q)]
Ley conmutativa
(~R∧P)v(~R∧Q)v[~R∧~(P∧Q)]
Ley de Morgan
(~R∧P)v(~R∧Q)v[~R∧(~Pv~Q)]
Ley Distributiva
(~R∧P)v(~R∧Q)v[(~R∧~P)v(~R∧~Q)]
Ley Conmutativa
(~R∧~P)v(~R∧P)v(~R∧Q)v(~R∧~Q)
Ley Asociativa
((~R∧~P)v(~R∧P))v((~R∧Q)v(~R∧~Q))
Ley de Absorción
((~R)v(~R))
Ley de Idempotencia
(~R)
ResponderEliminar( —R ^ P ) v —( Q → R ) v [—R ^ —( P ^ Q ) ] ocupo simplificar esto
[ p → ~ ( q → p ) ] → ~ q
ResponderEliminar[ (~ p ∧ q) → r ) ] ∧ (~ q)
Me puedes ayudar a simplificar esas dos porfaa?
Ley de la Condicional
Eliminar[~(~ p ∧ q) v r)] ∧ (~ q)
Ley de Morgan
[(~~ p v ~q) v r)] ∧ (~ q)
Ley de la doble negación
[(p v ~q) v r)] ∧ (~ q)
Ley Conmutativa
(~q)∧(p v ~q) v ((~q)∧r))
Ley de Absorción
(~q)v((~q)∧r))
Ley de Absorción
(~q)
~m∧(~m→~n)
ResponderEliminarLey de la Condicional
Eliminar~m ∧ (~~m v ~n)
Ley de la doble negación
~m ∧ (m v ~n)
Ley Distributiva
(~m ∧ m) v (~m ∧ ~n)
(F) v (~m ∧ ~n)
Ley de Identidad
(~m ∧ ~n)
Me pueden ayudar con esa porfa?
ResponderEliminar{[(w→s)∧(s→t)] →( w→t )}
ResponderEliminarsimplificar eso ayuda porfavor
Ayuda porfavor simplificar las siguientes preposiciones
ResponderEliminar1-(p<->q)v(~pvq)
2-[(~pvq)^(~q→p)]→(p^~q)
3[q→(p^r)]^[~p→(p^r)]
4[(q→p)^(~p→q)]~(p^~q)
Porfavor
1)
Eliminar(p ⇔ q) v (~p v q)
Ley de la Bicondicional
[(p → q)∧(q → p)] v (~p v q)
Ley de la condicional
[(p → q)∧(q → p)] v (p → q)
Ley conmutativa
(p → q) v [(p → q)∧(q → p)]
Ley de Absorción
(p → q)
Ley de la condicional
(~p v q)
ResponderEliminar1.-Simplifique el siguiente polinomio: ~[(q→p)∧(p→q)]∨[(~p∧q)∨(~p∧~q)]
2.-Demostrar la siguiente equivalencia:[~p→(q∧~p)]→(~r∨~p)≡~(p∧r)
Determine el tipo de proposición molecular (tautología, contradicción, contingencia), a través de tablas de valores de verdad, para cada caso:
1.(𝒒 ˄ 𝒑) ˄ (~𝒑 ∨ 𝒒)
2.[(𝒑 ⇾ 𝒒) ⇿ (~q ˄ s) ] ˅ (r ˄ s)
~[(q→p)∧(p→q)] ∨ [(~p∧q)∨(~p∧~q)]
EliminarLey de la Condicional
~[(~q∨p)∧(~p∨q)] ∨ [(~p∧q)∨(~p∧~q)]
Ley de Morgan
[~(~q∨p) ∨ ~(~p∨q)] ∨ [(~p∧q)∨(~p∧~q)]
Ley de Morgan
[(~~q∧~p) ∨ (~~p∧~q)] ∨ [(~p∧q)∨(~p∧~q)]
Doble negación
[(q∧~p) ∨ (p∧~q)] ∨ [(~p∧q)∨(~p∧~q)]
Ley Conmutativa
[(~p∧q) ∨ (p∧~q)] ∨ [(~p∧q)∨(~p∧~q)]
Ley Asociativa
(~p∧q) ∨ (p∧~q) ∨ (~p∧q) ∨ (~p∧~q)
Ley Conmutativa
(~p∧q) ∨ (~p∧q) ∨ (p∧~q) ∨ (~p∧~q)
Ley Asociativa
[(~p∧q) ∨ (~p∧q)] ∨ (p∧~q) ∨ (~p∧~q)
Idempotencia
[(~p∧q)] ∨ (p∧~q) ∨ (~p∧~q)
Ley Asociativa
[(~p∧q) ∨ (~p∧~q)] ∨ (p∧~q)
Ley Distributiva
[~p ∧ (q∨~q)] ∨ (p∧~q)
Ley del Complemento
[~p ∧ (V)] ∨ (p∧~q)
Identidad
[~p] ∨ (p∧~q)
Ley de Absorción
(~p∨~q)
Ayuda por fabor...urgente...
ResponderEliminar~[~(P ∧ Q) ⇒ ~ Q] ∨ P
Quiero simploficar esto👆...PLIS
Eliminar~[~(P ∧ Q) ⇒ ~ Q] ∨ P
EliminarLey de la condicional
~[~~(P ∧ Q) ∨ ~ Q] ∨ P
Ley de la doble negación
~[(P ∧ Q) ∨ ~ Q] ∨ P
Ley Conmutativa
~[~Q ∨ (P ∧ Q) ] ∨ P
Ley de Absorción
~[P ∨ ~Q] ∨ P
Ley de Morgan
(~P ∧ ~~Q) ∨ P
Doble Negación
(~P ∧ Q) ∨ P
Ley Conmutativa
P ∨ (~P ∧ Q)
Ley de Absorción
P ∨ Q
Me podrian ayudar por favor p*q ese signo a que equivaldría no encuentro información de ello
ResponderEliminarEl * no es un operador lógico estándar
Eliminar( ∼p ∧ q ) → ( q → p ) simplificar
ResponderEliminar( ∼p ∧ q ) → ( q → p )
EliminarLey de la condicional
∼( ∼p ∧ q ) ∨ ( ∼q ∨ p )
Ley de Morgan
(∼∼p ∨ ∼q ) ∨ ( ∼q ∨ p )
Doble Negación
(p ∨ ∼q ) ∨ ( ∼q ∨ p )
Ley Conmutativa
(p ∨ ∼q ) ∨ ( p ∨ ∼q )
Ley de Idempotencia
(p ∨ ∼q )
hola de verdad estaba resolviend unos problemas de mi hermanito y no puedo con esto estoy casi de amanecida entiendo como un compañero de mi hermano hizo esto osea lo hizo con la ley de transformacion y ley de simplficacion nunca he escuchado de eso pero al final sale "V" y lo comprobe haciendo tabla de verdad y si sale V osea es tautologia
ResponderEliminaralguien me dice como sale V con las leyes conocidas TT estoy sufriendo me quita el sueño no poder resolver esto y eso que noes mi tarea porfavor alguien ayuda
(((p v q) => (r v s))∧ ((r v s) => ~t) ∧ t) => ~p
dejo el link de la pagina de las leyes principalmente aplico las 3 ultimas que son 15 y 16 y 17 la verdad intente demostrar la ley 15 de transportacion que se mira en la imagen del link que pase abajo y tampoco pude estoy frustrado TT y bueno la 16 y 17 la verdad no entiendo escapa de toda explicacion que pueda darle
https://i.pinimg.com/originals/60/a0/04/60a004bea22dad4ca6399110a3e31dc7.gif
Ayudaaa!
ResponderEliminar(p → q) → [(q ∨ p) → (p ∧ ¬q)]
simplificar ~[(P ⇔ ~ (Q v R)]
ResponderEliminar~[(P ⇔ ~ (Q v R)]
EliminarLey de la Bicondicional
~[(P → ~ (Q v R)) ∧(~ (Q v R) → P)]
Ley de la Condicional
~[(~P v ~ (Q v R)) ∧(~~(Q v R) v P)]
Doble Negación
~[(~P v ~ (Q v R)) ∧((Q v R) v P)]
Ley de Morgan
[~(~P v ~ (Q v R)) v ~((Q v R) v P)]
Ley de Morgan
[(~~P ∧ ~~(Q v R)) ∧ (~(Q v R) ∧ ~P)]
Doble Negación
[(P ∧ (Q v R)) ∧ (~(Q v R) ∧ ~P)]
Ley Asociativa
[P ∧ (Q v R) ∧ ~(Q v R) ∧ ~P]
Ley Conmutativa
[P ∧ ~P ∧ (Q v R) ∧ ~(Q v R) ]
Ley Asociativa
[(P ∧ ~P) ∧ ((Q v R) ∧ ~(Q v R))]
Ley del complemento
[(F) ∧ ((Q v R) ∧ ~(Q v R))]
Ley de la identidad
[(F)]
Necesito simplificar esto, me ayudan porfa
ResponderEliminar((p⇒q)∧(q⇒s))⇒(p⇒s)
ya no se que hacer me ayudan en este T-T
ResponderEliminar[(~p ∨ q) ∧ (~q ⇒ p)] ⇒ (p ∧ ~q)
Por favor ayúdame con este lo necesito T-T ya intenté de todo y no logro entender
ResponderEliminar[(~p ∨ q) ∧ (~q ⇒ p)] ⇒ (p ∧ ~q)
~{~ ( w → t ) →~[ ( w → s ) ∧ ( s → t ) ] } SIMPLIFICAR PLIS
ResponderEliminarutilice la tabla de equivalencias lógicas para demostrar que:[(¬𝑄⟶¬𝑃)∧¬𝑅]∨(𝑃⟶𝑄)≡¬(𝑃∧¬𝑄)
ResponderEliminar¬ ( ¬ ( ¬p ∧q) ∧ ¬q) → ¬ (r → (p ∧ ¬r)) simplicar por favor, paso por paso
ResponderEliminar~[(~p → r)^~(q^~p)]
ResponderEliminarA continuación la formula simplificada
Eliminar~[(~p → r) ∧ ~(q ∧ ~p)]
Ley de la condicional
~[(~~p ∨ r) ∧ ~(q ∧ ~p)]
Doble negacion
~[(p ∨ r) ∧ ~(q ∧ ~p)]
Ley de Morgan
~(p ∨ r) ∨ ~~(q ∧ ~p)
Doble negacion
~(p ∨ r) ∨ (q ∧ ~p)
Ley de Morgan
(~p ∧ ~r) ∨ (q ∧ ~p)
Ley conmutativa
(~p ∧ ~r) ∨ (~p ∧ q)
Ley de absorción
~p ∧ (~r ∨ q)
[(q v~p)^r] v (p^~q)
ResponderEliminarMe lo simplifican
La expresión simplificada aplicando las leyes de la lógica proposicional
Eliminar[(q v~p)^r] v (p^~q)
Ley Conmutativa
[(~p v q) ∧ r] v (p ∧ ~q)
Ley de Morgan
[~(p ∧ ~q) ∧ r] v (p ∧ ~q)
Ley Conmutativa
(p ∧ ~q) v [~(p ∧ ~q) ∧ r]
Ley de la absorción
(p ∧ ~q) v r
~{[~p) v(~q)] v~ q]
ResponderEliminarMe lo simplificn
Simplificación de formulas lógicas online:
Eliminar~{(~p v ~q) v ~q}
Ley de Morgan
~(~p ∧ ~q) v ~~q
Ley de Doble negación
~(~p ∧ ~q) v q
Ley de Morgan
(~~p v ~~q) v q
Doble negación
(p v q) v q
Ley de Asociatividad
p v (q v q)
Ley de Idempotencia
p v q
simplificar (~(q∨r)∧q)∨((~(p∧~q)∨~(p→r))→~q)
ResponderEliminar(p→q)∧[ ¬q∧(r ∨ ¬q] me ayudas a simplificar
ResponderEliminarSimplificamos aplicando las leyes lógicas
Eliminar(p → q) ∧ (¬q ∧ (r ∨ ¬q))
Ley de la condicional
(~p ∨ q) ∧ (¬q ∧ (r ∨ ¬q))
Ley conmutativa
(~p ∨ q) ∧ (¬q ∧ (¬q ∨ r))
Ley de absorción
(~p ∨ q) ∧ (¬q)
Ley conmutativa
~q ∧ (q ∨ ~p)
Ley de absorción
(~q ∧ ~p)
Simplifica los siguientes esquemas moleculares aplicando las leyes del álgebra proposicional
ResponderEliminar[(p → q)∨ ~ p] ∧ (~ q → P
(~p →q)⇔(~q→p)
[(~p ∧q)→~p]∧ (~q⇔p)
[(p→¬q)∧¬p]→(p∧q)
Aplicando las leyes de la lógica
Eliminar[(p → q) ∨ ~ p] ∧ (~ q → p)
Ley de la condicional
[(~p ∨ q) ∨ ~ p] ∧ (~~q ∨ p)
Doble Negación
[(~p ∨ q) ∨ ~ p] ∧ (q ∨ p)
Ley conmutativa, asociativa
[(~p ∨ ~ p) ∨ q] ∧ (p ∨ q)
Idempotencia
(~p ∨ q) ∧ (p ∨ q)
Ley Distributiva
[(~p) ∧ (p ∨ q)] ∨ [(q) ∧ (p ∨ q)]
Ley de Absorción
[~p ∧ q] ∨ q
Ley Conmutativa
q ∨ [~p ∧ q]
Ley de Absorción
q
~ [ ~ (p ∧ q) →~q ) ] ∨ q
ResponderEliminarSimplicidad por favor
Eliminarcomo simplificar:
ResponderEliminar(~ p -> г) ^ [(р ^ ~ г) v (~ p/ ~ r) v (-p г)]Л (pv ~ r)
Los operadores lógicos no están bien escritos
EliminarAyuda a simplificar
ResponderEliminarAyuda a simplificar
ResponderEliminar1)∼ (𝑝 →∼ 𝑞) ∨ [(𝑝 → 𝑟) ∧∼ (𝑝 ∧ 𝑟)]
2) [(𝑟 → 𝑝) → (𝑝 ∧ 𝑟)] → [(𝑟 ∨ 𝑞) → (∼ 𝑟 ∧ 𝑞)]
[p → (p ^ q)] ^ [¬p → (p ^ q)] me ayudan a simplificar por favor
ResponderEliminar(p⊕q+(s↔q)+(r⊕s)+(r⊕p) como lo simplifico?
ResponderEliminar~p∧q→~p∧q
ResponderEliminar