LEYES LÓGICAS Y

CIRCUITOS LÓGICOS
Mg. Sara Díaz Carranza
MEDITACIÓN
Y ORACIÓN

Mateo 6:33
MOTIVA
EXPLORA
 EQUIVALENCIAS LÓGICAS

Dos fórmulas lógicas son equivalentes si tienen

los mismos valores de verdad para todos los
posibles valores de verdad de sus
componentes atómicos.
 Ejemplo
“Si Adán comió el fruto entonces Eva
lo tentó”, equivale a
A) Si Adán no comió el fruto, entonces Eva lo tentó
B) Adán no comió el fruto pero Eva lo tentó
C) O Eva lo tentó o Adán comió el fruto
D) Si Eva no lo tentó, Adán no comió el fruto
E) Ya que Eva lo tentó, Adán no comió el fruto
 Ejemplo
“Si Adán comió el fruto entonces Eva
lo tentó”, equivale a
 LEYES LÓGICAS
• Las proposiciones equivalentes se convierten en leyes lógicas.
• Existen infinitas proposiciones equivalentes, pero sólo
consideraremos algunas a las que se les denomina leyes del álgebra
proposicional.
• Dichas leyes, son equivalencias notables, que se aplican o utilizan en
la validación de proposiciones compuestas, para determinar el valor
de verdad de una proposición.
• Se utilizan en la simplificación de proposiciones compuestas.
 Principales leyes lógicas
pᴧp ≡ p pᴧV ≡ p
Idempotencia Elemento neutro
  pvp ≡ p   pv F ≡ p
Conmutativa pᴧq≡ qᴧp Elemento absorbente pᴧ F ≡ F
  pvq≡ qvp   pv V ≡ V
  p↔q ≡ q↔p Condicional p→q ≡ ~pvq
  pΔq ≡ qΔp Bicondicional p↔q ≡ (p→q)ᴧ(q→p)
Asociativa (pᴧq)ᴧr ≡ pᴧ(qᴧr)   p↔q ≡ (pᴧq) v (~pᴧ~q)
  (pvq)vr ≡ pv(qvr)   p↔q ≡ ~(pΔq)
pᴧ (qvr)≡ (pᴧq)v(pᴧr) pv (pᴧq) ≡ p
Distributiva pv (qᴧr)≡ (pvq)ᴧ(pvr) Ley de la Absorción pᴧ (pvq) ≡ p
  (pᴧq)v(qvr)≡  
  [pv(qvr)]ᴧ[qv(qvr)]   pv (~pᴧq) ≡ pvq
Doble negación ~(~p)≡ p   pᴧ (~pvq) ≡ pᴧq
Complemento pᴧ~p ≡ F Leyes de Morgan ~(pᴧq)≡ ~p v ~q
  pv~p ≡ V   ~(pvq)≡ ~p ᴧ ~q
Ejemplos
Ejemplos
Simplificar :
Simplificar :
CIRCUITOS LÓGICOS
TIPOS DE CIRCUITOS LÓGICOS
Circuitos en paralelo:
Ejemplo
Ejemplo
Ejemplo

∼
Ejemplo

∼
 Ejemplo: determine el esquema que representa cada circuito

a.

b.
∼

c.

d
.
 Ejemplo: representar como circuito los siguientes esquemas
 
1. p
2. v q
3. (v ( pq)
4.
5. ( )
6.
REFLEXIONA
CREA
 Refuerzo mi aprendizaje
Resuelve los ejercicios propuestos en la separata y
sube la evidencia al Patmos.

Si tienes alguna duda escríbela en el foro de

consultas. (Opcional)
EVALÚA
 Conclusiones

¿Cómo me ayuda conocer las equivalencias lógicas?

¿Cómo se relacionan los circuitos lógicos en mi vida
cotidiana?
PRÓXIMA SESIÓN

Teoría de conjuntos.
Todo lo puedo en Cristo que me fortalece.
Filipenses 4:13