0% encontró este documento útil (0 votos)
78 vistas5 páginas

Álgebra de Boole: Igualdades y Demostraciones

El documento presenta ejercicios de Álgebra de Boole, donde se demuestran identidades y se simplifican expresiones lógicas. Se incluyen soluciones detalladas para cada ejercicio, mostrando el proceso paso a paso. Al final, se concluye que una de las igualdades propuestas no se cumple.

Cargado por

Haylee Shoen
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 PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
78 vistas5 páginas

Álgebra de Boole: Igualdades y Demostraciones

El documento presenta ejercicios de Álgebra de Boole, donde se demuestran identidades y se simplifican expresiones lógicas. Se incluyen soluciones detalladas para cada ejercicio, mostrando el proceso paso a paso. Al final, se concluye que una de las igualdades propuestas no se cumple.

Cargado por

Haylee Shoen
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 PDF, TXT o lee en línea desde Scribd

ELT – 2680 ELECTRÓNICA DIGITAL I 1 – 2021

UNIVERSIDAD TÉCNICA DE ORURO

FACULTAD NACIONAL DE INGENIERÍA

INGENIERÍA ELÉCTRICA E INGENIERÍA ELECTRÓNICA

Clase Nro. 6.2

ELT – 2680 “A” ELECTRÓNICA DIGITAL I

AUXILIAR : Egr. José Luis Tapia Aquino

FECHA DE EMISIÓN : 1 de abril de 2021 SEMESTRE: 1-2021

ÁLGEBRA DE BOOLE

SIMPLIFICACIÓN Y DEMOSTRACIÓN DE IGUALDADES

1) Empleando el Álgebra de Boole y trabajando solo en el lado izquierdo, demostrar si es posible la siguiente
identidad.

( 𝒂 + 𝒃 )( 𝒂
̅+𝒄) =𝒂𝒄+𝒂
̅𝒃

Solución:

Trabajando solo en el lado izquierdo:

( 𝒂 + 𝒃 )( 𝒂
̅+𝒄) =

Aplicando la propiedad distributiva:

̅+𝒂𝒄+𝒂
𝒂𝒂 ̅𝒃+𝒃𝒄=

Por el complemento:

̅𝒃+𝒃𝒄=
𝟎+𝒂𝒄+𝒂

Por el elemento neutro:

̅𝒃+𝒃𝒄 =
𝒂𝒄+𝒂

Multiplicando por la unidad cada producto interno:

𝒂 𝒄 ( 𝟏) + 𝒂
̅ 𝒃 (𝟏) + 𝒃 𝒄 (𝟏) =

Recordemos que la unidad “1” puede obtenerse del complemento: 𝑨 + 𝑨 ̅ = 𝟏, por tanto, cambiamos el “1” por el
complemento de la variable faltante en cada producto de la función:
̅) + 𝒂
𝒂 𝒄 (𝒃 + 𝒃 ̅ 𝒃 (𝒄 + 𝒄̅) + 𝒃 𝒄 (𝒂 + 𝒂
̅) =

Por propiedad distributiva:


̅+𝒂
𝒂𝒄𝒃+𝒂𝒄𝒃 ̅𝒃𝒄+𝒂
̅ 𝒃 𝒄̅ + 𝒃 𝒄 𝒂 + 𝒃 𝒄 𝒂
̅=

En la función tenemos variables repetidas:


̅𝒄+𝒂
𝒂𝒃𝒄+𝒂𝒃 ̅𝒃𝒄+𝒂
̅ 𝒃 𝒄̅ + 𝒂 𝒃 𝒄 + 𝒂
̅𝒃𝒄=

1
ELT – 2680 ELECTRÓNICA DIGITAL I 1 – 2021

De acuerdo a la Idempotencia, si tenemos dos variables iguales, podemos eliminar una de ellas, por tanto, la función queda
de la siguiente forma:
̅𝒄+𝒂
𝒂𝒃𝒄+𝒂𝒃 ̅𝒃𝒄+𝒂
̅ 𝒃 𝒄̅ =
̅𝒄+𝒂
𝒂𝒃𝒄+𝒂𝒃 ̅𝒃𝒄+𝒂
̅ 𝒃 𝒄̅ =

Agrupando las variables:


̅𝒄+𝒂
𝒂𝒃𝒄+𝒂𝒃 ̅𝒃𝒄+𝒂
̅ 𝒃 𝒄̅ =
̅) + 𝒂
𝒂 𝒄 (𝒃 + 𝒃 ̅ 𝒃(𝒄 + 𝒄̅) =

Por Complemento dentro los paréntesis:

𝒂 𝒄 ( 𝟏) + 𝒂
̅ 𝒃(𝟏) =

Por el elemento Neutro:

̅𝒃=
𝒂𝒄+𝒂

Finalmente:

̅𝒃=
𝒂𝒄+𝒂

Igualando:

̅𝒃=𝒂𝒄+𝒂
𝒂𝒄+𝒂 ̅𝒃

L.q.q.d.

2
ELT – 2680 ELECTRÓNICA DIGITAL I 1 – 2021

2) Por medio del Álgebra de Boole demostrar si es posible la siguiente igualdad, trabajando solo el lado
izquierdo de la ecuación:

(𝒙 + 𝒚
̅ ) (𝒙 ̅̅̅̅̅̅̅̅
̅ + 𝒛) (𝒚 + 𝒛) = 𝒙 (𝒚 ⊕ 𝒛) + 𝒙 𝒚
̅𝒛

Solución:

(𝒙 + 𝒚
̅ ) (̅
𝒙 + 𝒛) ( 𝒚 + 𝒛) =

(𝒙 𝒙
̅+𝒙𝒛+𝒙
̅𝒚 ̅ 𝒛) ( 𝒚 + 𝒛 ) =
̅+𝒚

Por complemento:

(𝒙 𝒛 + 𝒙
̅𝒚 ̅ 𝒛) ( 𝒚 + 𝒛) =
̅+𝒚

(𝒙 𝒚 𝒛 + 𝒙 𝒛 𝒛 + 𝒙
̅𝒚̅𝒚+𝒙
̅𝒚̅𝒛+𝒚 ̅ 𝒛 𝒛) =
̅𝒚𝒛+𝒚

Aplicando complemento y Idempotencia:

(𝒙 𝒚 𝒛 + 𝒙 𝒛 + 𝟎 + 𝒙
̅𝒚 ̅ 𝒛) =
̅𝒛+𝟎+𝒚

(𝒙 𝒚 𝒛 + 𝒙 𝒛 + ̅
𝒙𝒚 ̅ 𝒛) =
̅𝒛+𝒚

̅𝒚
𝒙𝒚𝒛+𝒙𝒛+𝒙 ̅𝒛+𝒚
̅𝒛=

Agrupando:

𝒙 𝒛 ( 𝒚 + 𝟏) + 𝒚
̅ 𝒛( 𝒙
̅ + 𝟏) =

Por dominio del 1:

𝒙 𝒛 ( 𝟏) + 𝒚
̅ 𝒛 ( 𝟏) =

Aplicando propiedad del complemento:

𝒙 𝒛 (𝒚 + 𝒚
̅) + 𝒚
̅ 𝒛( 𝒙 + ̅
𝒙) =

̅𝒛+𝒙𝒚
𝒙𝒚𝒛+𝒙𝒚 ̅𝒛+𝒙
̅𝒚̅𝒛=

̅𝒛+𝒙𝒚
𝒙𝒚𝒛+𝒙𝒚 ̅𝒛+𝒙
̅𝒚̅𝒛=

Por Idempotencia:

̅𝒛+𝒙
𝒙𝒚𝒛+𝒙𝒚 ̅𝒚̅𝒛=

𝒛 (𝒙 𝒚 + 𝒙
̅𝒚̅) + 𝒙 𝒚
̅𝒛=

Aplicando el operador X-NOR:


̅̅̅̅̅̅̅̅
𝒛 (𝒙 ⊕ 𝒚) + 𝒙 𝒚
̅𝒛=

Finalmente:
̅̅̅̅̅̅̅̅
𝒛 (𝒙 ⊕ 𝒚) + 𝒙 𝒚 ̅̅̅̅̅̅̅̅
̅ 𝒛 ≠ 𝒙 (𝒚 ⊕ 𝒛) + 𝒙 𝒚
̅𝒛

No Cumple la Igualdad!!

3
ELT – 2680 ELECTRÓNICA DIGITAL I 1 – 2021

3) Demostrar las siguientes igualdades utilizando el Álgebra de Boole desarrollando solo el lado derecho de la
ecuación:

(𝒙 + 𝒚)(𝒙
̅ + 𝒛)(𝒚 + 𝒛) = (𝒙 + 𝒚)(𝒙
̅ + 𝒛)

= (𝒙 + 𝒚)(𝒙
̅ + 𝒛)

̅+𝒙𝒛+𝒙
=𝒙𝒙 ̅𝒚+𝒚𝒛

̅𝒚+𝒚𝒛
=𝟎+𝒙𝒛+𝒙

̅𝒚+𝒚𝒛
=𝒙𝒛+𝒙

=𝑨+𝑩+𝑪

̿+𝑩
=𝑨 ̿+𝑪
̿

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ )(𝑩
(𝑨 ̅ )(𝑪̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝒙 𝒛 ̅̅̅̅
̅̅̅̅)(𝒙̅ 𝒚)(𝒚 ̅̅̅̅)
𝒛

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ + 𝒛̅)(𝒙
(𝒙 ̅+𝒚 ̅)(𝒚̅ + 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ + 𝒛̅)(𝒙 + 𝒚
(𝒙 ̅)(𝒚̅ + 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒙+̅
(𝒙 𝒙𝒚 ̅ + 𝒙 𝒛̅ + 𝒚 ̅ 𝒛̅)(𝒚
̅ + 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝟎 + 𝒙 ̅𝒚̅ + 𝒙 𝒛̅ + 𝒚 ̅ 𝒛̅)(𝒚̅ + 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
(𝒙 ̅ + 𝒙 𝒛̅ + 𝒚 ̅ 𝒛̅)(𝒚
̅ + 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
(𝒙 ̅𝒚̅+𝒙 ̅𝒚̅ 𝒛̅ + 𝒙 𝒚̅ 𝒛̅ + 𝒙 𝒛̅ 𝒛̅ + 𝒚̅𝒚̅ 𝒛̅ + 𝒚̅ 𝒛̅ 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
(𝒙 ̅+𝒙 ̅𝒚 ̅ 𝒛̅ + 𝒙 𝒚̅ 𝒛̅ + 𝒙 𝒛̅ + 𝒚̅ 𝒛̅ + 𝒚̅ 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
(𝒙 ̅+𝒙 ̅𝒚 ̅ 𝒛̅ + 𝒙 𝒚̅ 𝒛̅ + 𝒙 𝒛̅ + 𝒚̅ 𝒛̅)

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
𝒙 ̅(𝟏 + 𝒛̅) + 𝒙 𝒛̅(𝟏 + 𝒚 ̅) + 𝒚̅ 𝒛̅

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
𝒙 ̅(𝟏) + 𝒙 𝒛̅(𝟏) + 𝒚 ̅ 𝒛̅

= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅𝒚
𝒙 ̅ + 𝒙 𝒛̅ + 𝒚 ̅ 𝒛̅

= ̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑹+𝑺+𝑻
̅ ⋅̅
=𝑹 ̅
𝑺⋅𝑻

= ̅̅̅̅̅̅̅
(𝒙
̅𝒚 ̅) ̅̅̅̅̅̅̅
(𝒙 𝒛̅) ̅̅̅̅̅̅̅
(𝒚̅ 𝒛̅)

= (𝒙 ̿ ) (𝒙
̿+𝒚 ̅ + 𝒛̿) (𝒚
̿ + 𝒛̿)

= ( 𝒙 + 𝒚) ( 𝒙
̅ + 𝒛) (𝒚 + 𝒛)

(𝒙 + 𝒚)(𝒙
̅ + 𝒛)(𝒚 + 𝒛) = (𝒙 + 𝒚) (𝒙
̅ + 𝒛) (𝒚 + 𝒛)

L.q.q.d.

4
ELT – 2680 ELECTRÓNICA DIGITAL I 1 – 2021

REFERENCIAS

[1] Álgebra de Boole – Juan José Castelo Oporto – Tema 3 Electrónica Digital I.

[2] Sistemas Digitales, Principios y Aplicaciones – Ronald J. Tocci, Neal S. Widmer - Ed. 8 – C3 Compuertas Lógicas y
Álgebra Booleana.

[3] Circuitos y Sistemas Digitales – Juan Gonzáles Gómez – Cap. 3 Álgebra de Boole

[4] Diseño Digital – Morris Mano - Ed. 3 – Cap. 2 Álgebra Booleana y Compuertas Lógicas

También podría gustarte