Scribd
Cargar
131 vistas13 páginas

Leyes Logicas: Prof. Mauricio Silva Macavilca

Las leyes lógicas describen las propiedades fundamentales de la lógica, incluyendo la idempotencia, asociatividad, conmutatividad, distributividad, leyes de De Morgan, doble negación, absorción y más. Los circuitos lógicos simulan el comportamiento de circuitos eléctricos usando símbolos lógicos como ∧, ∨, ~ para representar conjunciones, disyunciones y negaciones. Los circuitos en serie representan conjunciones mientras que los circuitos en paralelo representan disyunciones.

Cargado por

mauricio
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
131 vistas13 páginas

Leyes Logicas: Prof. Mauricio Silva Macavilca

Las leyes lógicas describen las propiedades fundamentales de la lógica, incluyendo la idempotencia, asociatividad, conmutatividad, distributividad, leyes de De Morgan, doble negación, absorción y más. Los circuitos lógicos simulan el comportamiento de circuitos eléctricos usando símbolos lógicos como ∧, ∨, ~ para representar conjunciones, disyunciones y negaciones. Los circuitos en serie representan conjunciones mientras que los circuitos en paralelo representan disyunciones.

Cargado por

mauricio
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd

LEYES LOGICAS

Prof. Mauricio Silva Macavilca


LEYES LÓGICAS

Las leyes lógicas, son proposiciones universales, necesarias, evidentes y verdaderas.


Idempotencia Es la propiedad para realizar una acción determinada varias veces y
aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez.

Asociativa No importa el orden en que agrupes las premisas.

Conmutativa Quiere decir que puedes intercambiar el orden las premisas y la


conclusión va a ser la misma.

Distributiva En la lógica proposicional, la distribución se refiere a dos normas


válidas de reemplazo. Las reglas permiten reformular conjunciones y disyunciones
en pruebas lógicas.
Identidad El valor de verdad de la conjunción (^) y disyunción (v) , depende del
valor de p.

Complemento Su grado de validez va de acuerdo a las leyes de la conjunción y la


disyunción.

D´ morgan declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lógicamente equivalentes. Las Leyes de Morgan permiten:
El cambio del operador de conjunción en operador de disyunción y viceversa. Las
proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan
pueden estar afirmadas o negadas (en todo o en sus partes).
Leyes Conmutativas
 (p ∧ q) ≡ (q ∧ p)
 (p ∨ q) ≡ (q ∨ p)
 (p ↔ q) ≡ (q ↔ p)
 (p ↮ q) ≡ (p ↮ q)

Leyes Asociativas
• p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
• p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
• p ↔ (q ↔ r) ≡ (p ↔ q) ↔ r
Leyes Distributivas
 (p ∧ q) ∨ r ≡ (p ∨ r) ∧ (q ∨ r)
 (p ∨ q) ∧ r ≡ (p ∧ r) ∨ (q ∧ r)
 p → (q ∧ r) ≡ (p → q) ∧ (q → p)
 p → (q ∨ r) ≡ (p → q) ∨ (q → p)

Teoremas de De Morgan
 ~ (p ∧ q) ≡ ~p ∨ ~q
 ~ (p ∨ q) ≡ ~p ∧ ~q
 p ∧ q ≡ ~(~p ∨ ~q)
 p ∨ q ≡ ~(~p ∧ ~q)
Condicional Doble Negación
 p → q ≡ ~p ∨ q ~ ~p ≡ p
 p → q ≡ ~ (p ∧ ~q) ~ ~ ~p ≡ ~p

Idempotencia
Bicondicional
p∨p≡ p
 p ↔ q ≡ (p → q) ∧ (q → p)
p∧p≡p
 p ↔ q ≡ [ (p ∧ q) ∨ (~p ∧ ~q) ]
Absorción
 p ∧ (p ∨ q) ≡ p

Transposición  p ∨ (p ∧ q) ≡ p

 p → q ≡ ~q → ~p  p ∨ (~p ∧ q) ≡ p ∨ q

 p ↔ q ≡ (~ q ↔ ~p)  p ∧ (~p ∨ q) ≡ p ∧ q

Disyunción fuerte
 p ↮ q ≡ ~ (p ↔ q)
 p ↮ q ≡ (p ∨ q) ∧ (~p ∨ ~q)
CIRUCUITOS LOGICOS

Prof. Mauricio Silva Macavilca


Un circuito lógico es un conjunto de
símbolos y operaciones que satisfacen
las reglas de la lógica, simulando el
comportamiento real de un circuito
eléctrico.

CIRCUITO EN SERIE
p ∧ q : circuito cerrado en serie, deja
Sean los interruptores p y q; su conexión
pasar corriente si los interruptores
en serie (en una misma línea), dada por:
están cerrados a la vez. Sólo en este
caso p ∧ q es verdadero.

Aquí en este circuito pasará corriente sólo


en el caso que p y q se encuentren
cerrados. Así tenemos el comportamiento
de la CONJUNCIÓN
~ p ∧ ~ q: circuito abierto en serie, no deja
pasar corriente. En este caso ~ p ∧ ~q es
falsa.
CIRCUITO EN PARALELO p ∨ q : circuito cerrado en
Dos interruptores p y q se paralelo que deja pasar corriente
encuentran conectados en paralelo si por lo menos uno de los
cuando tengan el siguiente interruptores eléctricos está
comportamiento: cerrado. En este caso p ∨ q es
verdadero.

Tenemos el comportamiento de la
DISYUNCIÓN de las proposiciones
p y q.

~ p ∨ ~ q: circuito abierto en paralelo que no


deja pasar corriente, en este caso ~ p ∨ ~ q es
falso.

También podría gustarte