JOSUE PAYE CHIPANA 22

EQUIVALENCIAS LÓGICAS
1. Involución o doble negación ∼ ∼ p   p
2. Idempotencia pp p , pp p
3. Conmutativa p q  q  p , p q  q  p
4. Asociativa p q   r  p  q  r  , p q  r  p  q r 
5. Distributiva p q  r  p r   q r  , p q   r  p  r   q  r 
6. Absorción p  p q   p , p   p q   p
7. Leyes de De Morgan ∼  p  q  ∼ p  ∼ q , ∼  p  q  ∼ p  ∼ q
8. Ley de condicional p  q ∼ p  q
9. Ley de bicondicional p  q   p q   q  p 
10. Ley de disyunción exclusiva p q ∼  p  q 
11. Leyes de complemento p  ∼ p V , p  ∼ p  F , ∼V  F , ∼ F V
12. Leyes de identidad p V V , p F  p , p V  p , p F  F

CIRCUITO LÓGICOS
p
La proposición lógica p puede ser representada por un interruptor:
p
p F

p
p V
Circuito en serie
p q
 p q

Circuito en paralelo
p
q
 p q

ÁLGEBRA - CODEX