Tema3 AlgebraBooleana
Tema3 AlgebraBooleana
Tema3 AlgebraBooleana
Tema 3
Prof.: Jose Pablo Ávila
2. Algebra de conmutación:
1. Proposiciones elementales: complemento, elemento 0, elemento 1, Idempotencia.
2. Leyes fundamentales: asociativa, conmutativa, distributiva, Teorema de De Morgan.
4. Otras conectivas lógicas que son un conjunto completo en sí mismas: NOO, NOY.
2
3.1 Conectivas Lógicas
3
3.1 Conectivas Lógicas
Conectiva Y (AND)
f(A,B) = 𝐴 ∙ 𝐵 Se lee: “A y B”
4
3.1 Conectivas Lógicas
Conectiva O (OR)
5
3.1 Conectivas Lógicas
Conectiva NO (NOT) - Inversor
6
3.1 Conectivas Lógicas
Conectiva O Exclusiva (XOR)
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)
• 𝑎+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.
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.
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
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)
16
3.4 Otras Conectivas Lógicas
Conectiva NOO (NOR)
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