MATEMATICAS DISCRETA

DOCENTE: JOSE EMANUEL CASTELLANOS

TEMA: CIRCUITOS LÓGICOS

Circuito en serie

p q 𝐩∧𝐪

Circuito en paralelo

p 𝐩∨𝐪

Ejemplo #1

Encontrar la equivalencia lógica del siguiente circuito.

p r ~q
q
q
~r
A B

C ~r ∧ q

Paso 1: El circuito lo debemos de traducir al lenguaje simbólico.

Lo primero que hacemos es que cada parte del circuito le colocamos una letra mayúscula para reconocer cada parte.

A = (p ∨ q)
B = (r ∧ ~q) ∨ (q ∨ ~r)
C = [q ∨ (~r ∧ q)]
Paso 2: Traducimos la lógica de todo el circuito con las letras A, B y C.
 MATEMATICAS DISCRETA
DOCENTE: JOSE EMANUEL CASTELLANOS

(A ∧ B) ∨ C

Paso 3: Sustituir la lógica de todo el circuito utilizando signos de agrupación adecuados.

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)]

Paso 4: Encontrar la equivalencia lógica del circuito aplicando las propiedades de equivalencia.
{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (q ∧ ~r)] Conmutatividad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ q Absorción

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [(~q ∧ r) ∨ (q ∨ ~r)]} ∨ q Conmutatividad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [((~q ∧ r) ∨ q) ∨ ((q ∨ ~r) ∨ ~r)]} ∨ q Distributividad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [(q ∨ (~q ∧ r)) ∨ (~r ∨ (~r ∧ q))]} ∨ q Conmutatividad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [((~q ∨ r)) ∨ (~r)]} ∨ q Absorción parcial y
total
{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [(r ∨ ~r) ∨ ~q]} ∨ q Asociatividad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ [V ∨ ~q]} ∨ q Disyuntivo

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ {(p ∨ q) ∧ V} ∨ q Identidad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ (p ∨ q) ∨ q Identidad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ (q ∨ q) ∨ p Asociatividad

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ q ∨ p Idempotencia

{(p ∨ q) ∧ [(r ∧ ~q) ∨ (q ∨ ~r)]} ∨ [q ∨ (~r ∧ q)] ≡ 𝐩 ∨ 𝐪 Conmutatividad