Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Tema3 AlgebraBooleana

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 20

Algebra Booleana

Tema 3
Prof.: Jose Pablo Ávila

II- 2021 IE0323 Circuitos Digitales I 1


3. Algebra Booleana

1. Conectivas lógicas, funciones lógicas.

2. Algebra de conmutación:
1. Proposiciones elementales: complemento, elemento 0, elemento 1, Idempotencia.
2. Leyes fundamentales: asociativa, conmutativa, distributiva, Teorema de De Morgan.

3. Reducción de expresiones Booleanas por manipulación algebraica.

4. Otras conectivas lógicas que son un conjunto completo en sí mismas: NOO, NOY.

5. Representaciones alternas de las conectivas Y, O y NO con conectivas NOY y NOO.

2
3.1 Conectivas Lógicas

Los circuitos digitales se clasifican en 2 tipos:


o Circuitos de lógica Combinacional: Cuando la salida depende únicamente de una
combinación de los valores actuales de las entradas. No tiene almacenamiento, ni
lazos de retroalimentación.
o Circuitos de lógica Secuencial: Depende no solamente de las entradas actuales,
sino también de la secuencia de valores de entrada anteriores. Tienen
almacenamiento.
o Conectivas Lógicas: Permiten crear relaciones lógicas de un conjunto binario y
pueden ser manipuladas mediante álgebra de conmutación (Switching Algebra).
o Conjunto Y (AND), O (OR), NO (NOT), O exclusiva (XOR): Es un conjunto
completamente especificado en sí mismo.

3
3.1 Conectivas Lógicas
Conectiva Y (AND)

Esquemático ANSI/IEEE Representación Eléctrica


Tabla de Verdad de
conectiva AND Estándar 91-1984
A B AND
A B
0
0
0
1
0
0
A
B
A∙B
~ X
1 0 0
Diagrama de Tiempos
1 1 1 Esquemático IEEE/IEC
2N Filas Estándar 91a-1991
con N = Número de variables
A & A∙B
Representación Analítica B

f(A,B) = 𝐴 ∙ 𝐵 Se lee: “A y B”
4
3.1 Conectivas Lógicas
Conectiva O (OR)

Tabla de Verdad de Esquemático ANSI/IEEE Representación Eléctrica


conectiva OR
Estándar 91-1984
A B OR
0 0 0 A
A
0
1
1
0
1
1
B
A+B
~ B X
1 1 1
Esquemático IEEE/IEC Diagrama de Tiempos
Estándar 91a-1991
Representación Analítica
A ≥1 A+B
f(A,B) = 𝐴 + 𝐵 Se lee: “A o B” B

5
3.1 Conectivas Lógicas
Conectiva NO (NOT) - Inversor

Tabla de Verdad de conectiva Esquemático ANSI/IEEE


NOT Estándar 91-1984
A NOT ഥ No tiene representación
A A
0 1 Eléctrica
1 0 ഥ
A A

Representación Analítica Esquemático IEEE/IEC Diagrama de Tiempos


Estándar 91a-1991
f(A) = 𝐴ҧ = 𝐴′ Entrada
1
A ഥ
A Salida

Se lee: “A negado” o “No A”


1
A ഥ
A

6
3.1 Conectivas Lógicas
Conectiva O Exclusiva (XOR)

Tabla de Verdad de Esquemático ANSI/IEEE Representación Eléctrica


conectiva XOR Estándar 91-1984
A
A B XOR
0 0 0 A B
0
1
1
0
1
1
B
A⊕B
~ X
1 1 0
Esquemático IEEE/IEC Diagrama de Tiempos
Estándar 91a-1991
Representación Analítica
A =1 A⊕B
f(A,B) = 𝐴 ⊕ 𝐵 Se lee: “A xor B” B

7
3.1 Conectivas Lógicas
Ejemplo

Encuentre la función lógica que detecte los números primos en una palabra de 3 bits.
A B C f(A,B,C)

0 0 0 0
0 0 1 1 𝐴ҧ ∙ 𝐵ത ∙ C Representación Analítica
0 1 0 1
f(A,B,C) = 𝐴ҧ ∙ 𝐵ത ∙ C + 𝐴ҧ ∙ B ∙ 𝐶ҧ +
0 1 1 1
𝐴ҧ ∙ B ∙ C + 𝐴 ∙ 𝐵ത ∙ C + A ∙ B ∙ C
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1

8
3.1 Conectivas Lógicas
Problema (Prof. Geovanny Delgado, II-2020)
PROBLEMA (40 PTS) Sergio, Rocío y Juan son coleccionistas de autos y asisten a una feria para adquirir
algunos modelos adicionales para su colección personal. En dicha feria se venden autos europeos (E),
clásicos (C), deportivos (D) y suburbanos (S).
A Sergio le interesan los autos que siendo europeos sean deportivos o no siendo deportivos que sean
clásicos y no sean suburbanos. Le interesan también los autos que sean clásicos o suburbanos pero no
ambos.
Por su parte a Rocío le interesan los autos Suburbanos y clásicos, o bien aquellos que siendo europeos no
son deportivos ni suburbanos. También está interesada en los autos que no siendo europeos sean
deportivos así como los autos europeos que sean clásicos.
Finalmente a Juan le interesan los autos europeos y clásicos o los no europeos que no sean suburbanos.
Adicionalmente está interesados en los autos que no siendo clásicos sean deportivos.
a) (24 pts) Hallar las funciones lógicas de selección de los autos para cada coleccionista.
b) (16 pts) Hallar la función lógica llamada DOS que indica aquellos autos que son requeridos por dos de
las personas coleccionistas.

9
3.2 Algebra de Conmutación (Booleana)

Propiedades Fundamentales Leyes Fundamentales


• 𝑎 + 𝑎ത = 1 • 𝑎 + 𝑏 + 𝑐 = 𝑎 + (𝑏 + 𝑐)
Complemento Asociativa
• 𝑎 ∙ 𝑎ത = 0 • 𝑎∙𝑏 ∙𝑐 =𝑎∙𝑏∙𝑐

• 𝑎+1=1 • 𝑎+𝑏 =𝑏+𝑎


Elemento 1 Conmutativa
• 𝑎∙1=𝑎 • 𝑎∙𝑏 =𝑏∙𝑎

• 𝑎+0=𝑎 • 𝑎 𝑏 + 𝑐 = 𝑎𝑏 + 𝑎𝑐
Elemento 0 Distributiva
• 𝑎∙0=0 • 𝑎 + 𝑏𝑐 = 𝑎 + 𝑏 𝑎 + 𝑐

• 𝑎+𝑎 =𝑎 • 𝑎 + 𝑏 = 𝑎ത ∙ 𝑏ത
Teorema de
Idempotencia • 𝑎∙𝑎 =𝑎 De Morgan • 𝑎 ∙ 𝑏 = 𝑎ത + 𝑏ത
• 𝑎തഥ = 𝑎
10
3.2 Algebra de Conmutación (Booleana)

Identidades Útiles

• a+𝑎𝑏
ത = a+b
Absorción • a+𝑎𝑏 = a
• a(a+b) = a

• Si A entonces B:
Implicación
A→B = 𝐴ҧ + B

11
3.3 Reducción de expresiones Booleanas por manipulación
algebraica.

Ejemplo 1 f(A,B,C) = A(BC + AC) + BC

Solución A
C
a. Distributiva: f = ABC + AAC + BC
B 𝑓(𝐴, 𝐵, 𝐶)𝑑
b. Idempotencia: f = ABC + AC + BC
c. Distributiva: f = AC (B + 1) + BC C
d. Elemento 1: f = AC + BC
e. Distributiva: f = C (A + B)
A
B 𝑓(𝐴, 𝐵, 𝐶)𝑒
C

12
3.3 Reducción de expresiones Booleanas por manipulación
algebraica.

Ejemplo 2 f(X,Y,Z) = 𝑋𝑌𝑍 ∙ 𝑋𝑍

Solución
a. DeMorgan: f(X,Y,Z) = (𝑋ത + 𝑌)𝑍
ത ∙ (𝑋ത + 𝑍)ҧ h. ҧ
Distributiva: f(X,Y,Z) = 𝑍(XY + 𝑋ത + 1)
b. DeMorgan: f(X,Y,Z) = (𝑋ത + 𝑌ത + 𝑍)ҧ ∙ (𝑋ത + 𝑍)ҧ i. Elemento 1: f(X,Y,Z) = 𝑍ҧ ∙ 1
c. DeMorgan: f(X,Y,Z) = (𝑋ത ∙ 𝑌ത + 𝑍)ҧ ∙ (𝑋ത + 𝑍)ҧ j. Elemento 1: f(X,Y,Z) = 𝑍ҧ
d. Idempotencia: f(X,Y,Z) = (𝑋𝑌 + 𝑍)( ҧ 𝑋ത + 𝑍)ҧ
e. Distributiva: f(X,Y,Z) = XY 𝑋ത + 𝑍ҧ + 𝑍(ҧ 𝑋ത + 𝑍)ҧ
0
f. Distributiva: f(X,Y,Z) = XY𝑋 + XY𝑍ҧ + (𝑍ҧ 𝑋ത + 𝑍ҧ 𝑍)ҧ

Idempotencia
Complemento

g. Compl. e Idem: f(X,Y,Z) = XY𝑍ҧ + 𝑍ҧ 𝑋ത + 𝑍ҧ

13
3.3 Reducción de expresiones Booleanas por manipulación
algebraica.

Absorción ҧ
f(A,B) = A + 𝐴𝐵

Solución
ҧ
a. Elemento 1: f(A,B) = A∙ 1 + 𝐴𝐵
b. Complemento: f(A,B) = A(𝐵 + 𝐵) ҧ
ത + 𝐴𝐵
c. ҧ
Distributiva: f(A,B) = A𝐵 + 𝐴𝐵ത + 𝐴𝐵
d. Idempotencia: f(A,B) = AB + AB + 𝐴𝐵ത + 𝐴𝐵ҧ
e. Distributiva: f(A,B) =𝐴 𝐵 + 𝐵ത + 𝐴 + 𝐴ҧ 𝐵
f. Complemento y Elemento 1: f(A,B) =𝐴 + 𝐵

ҧ = 𝐴ҧ + 𝐵
∴ 𝐴 + 𝐴𝐵

14
3.3 Reducción de expresiones Booleanas por manipulación
algebraica.

Implicación f A, B = A → 𝐵
Solución
f A, B = 𝐴ҧ ∙ 𝐵ത + 𝐴ҧ ∙ 𝐵 + 𝐴 ∙ 𝐵
A B A→B
a. Distributiva: 𝐴ҧ ∙ 𝐵ത + 𝐵 + 𝐴 ∙ 𝐵
0 0 1 b. Complemento: 𝐴ҧ ∙ 1 + 𝐴 ∙ 𝐵
0 1 1 c. Elemento 1: 𝐴ҧ + 𝐴 ∙ 𝐵
d. Absorción: 𝐴ҧ + 𝐵
1 0 0
1 1 1 ∴ A → 𝐵 = 𝐴ҧ + 𝐵

15
3.4 Otras Conectivas Lógicas
Conectiva NOY (NAND)

Tabla de Verdad de conectiva Esquemático ANSI/IEEE


NAND
Estándar 91-1984
A B NAND
0 0 1 A
A∙B
0 1 1 B
1 0 1
1 1 0
Esquemático IEEE/IEC
Estándar 91a-1991
Representación Analítica
A &
B A∙B
f(A,B) = 𝐴 ∙ 𝐵

16
3.4 Otras Conectivas Lógicas
Conectiva NOO (NOR)

Tabla de Verdad de Esquemático ANSI/IEEE


conectiva NOR
Estándar 91-1984
A B NOR
0 0 1 A
0 1 0 A+B
B
1 0 0
1 1 0
Esquemático IEEE/IEC
Estándar 91a-1991
Representación Analítica
A ≥1
f(A,B) = 𝐴 + 𝐵 B A+B

17
3.5 Formas alternativas de AND, NOT y OR
Partiendo de la Conectiva NAND

Conectiva AND
A∙𝐵 A∙𝐵∙A∙𝐵
A
A B NAND B =A∙𝐵+A∙𝐵
Conectiva NOT:
=𝐴∙𝐵
0 0 1
A ഥ
A
0 1 1
1 0 1 1
Conectiva OR
1 1 0 ഥ
B B ഥ
A
A A ഥ + 𝐵ത
ഥ ∙ 𝐵ത = A
B ഥ =𝐴+𝐵
B

18
3.5 Formas alternativas de AND, NOT y OR
Partiendo de la Conectiva NOR

Conectiva OR
A+𝐵 A+𝐵+A+𝐵
A
A B NOR B =A+𝐵∙A+𝐵
Conectiva NOT:
=𝐴+𝐵
0 0 1
A ഥ
A
0 1 0
1 0 0
B ഥ Conectiva AND
1 1 0 B

A
A A ഥ ∙ 𝐵ത
ഥ + 𝐵ത = A
0 B =𝐴∙𝐵

B

19
3.5 Formas alternativas de AND, NOT y OR

Ejemplo 𝑓 𝑎, 𝑏, 𝑐 = 𝑎𝑏ത 𝑐ҧ + 𝑏𝑐 + 𝑎𝑏

Representación en compuertas NAND Representación en compuertas NOR
a b c f
1.Se niega 2 veces 1.Se usa elemento 1 y complemento para que cada término
2.Se usa DeMorgan 0 0 0 0 tenga todas las variables.
0 0 1 0 2.Se usa la función negada, o sea, los términos que dan 0
3.Se utiliza el resto de algebra de conmutación y DeMorgan
𝑓 𝑎, 𝑏, 𝑐 = 𝑎𝑏ത 𝑐ҧ + 𝑏𝑐 + 𝑎𝑏 ത 0 1 0 1 𝑓 𝑎, 𝑏, 𝑐 = 𝑎𝑏ത 𝑐ҧ + 𝑎 + 𝑎ത 𝑏𝑐 + 𝑎𝑏
ത 𝑐 + 𝑐ҧ
𝑓 𝑎, 𝑏, 𝑐 = 𝑎𝑏ത 𝑐ҧ ∙ 𝑏𝑐 ∙ 𝑎𝑏
ത 0 1 1 1 𝑓 𝑎, 𝑏, 𝑐 = 𝑎𝑏ത 𝑐ҧ + 𝑎𝑏𝑐 + 𝑎𝑏𝑐
ത + 𝑎𝑏𝑐
ത + 𝑎𝑏
ത 𝑐ҧ
1 0 0 1 𝑓 𝑎, 𝑏, 𝑐 = 𝑎ത 𝑏ത 𝑐ҧ + 𝑎ത 𝑏𝑐
ത + 𝑎𝑏𝑐
ത + 𝑎𝑏𝑐ҧ
1 0 1 0 𝑓 𝑎, 𝑏, 𝑐 = 𝑎ത 𝑏ത 𝑐ҧ ∙ 𝑎ത 𝑏𝑐
ത ∙ 𝑎𝑏𝑐
ത ∙ 𝑎𝑏𝑐ҧ
1 1 0 0 𝑓 𝑎, 𝑏, 𝑐 = 𝑎 + 𝑏 + 𝑐 𝑎 + 𝑏 + 𝑐ҧ 𝑎ത + 𝑏 + 𝑐ҧ 𝑎ത + 𝑏ത + 𝑐
1 1 1 1
𝑓 𝑎, 𝑏, 𝑐 = 𝑎 + 𝑏 + 𝑐 + 𝑎 + 𝑏 + 𝑐ҧ + 𝑎ത + 𝑏 + 𝑐ҧ + 𝑎ത + 𝑏ത + 𝑐

20

También podría gustarte