Lógica y Matemática Computacional

Licenciatura en Sistemas de Información

Algebra de Boole

Ing. JULIO C. ACOSTA

Facultad de Ciencias Exactas y Naturales y Agrimensura - UNNE

 Funciones Booleanas

Dominio = { (0,0), (0,1), (1,0), (1,1) }

Imagen = { 0, 1 }

y = f(x)

(x1,y1);(x2,y2)…

2019 2
Son expresiones booleanas equivalentes

2019 3
2019 4
2019 5
Llamamos minitérminos al producto lógico de k variables

Una función booleana está definida en

Forma Canónica (o normal) disyuntiva

Si la expresión de la función booleana se expresa como una

suma de minitérminos

2019 6
Esta expresión es la Forma Normal Disyuntiva o suma de
min-términos o disyunciones
2019 de conjunciones. 7
Minimización de funciones

2018 8
2019 9
Llamamos maxitérminos a la suma lógica de k variables

Una función booleana está definida en

Forma Canónica (o normal) conjuntiva

Si la expresión de la función booleana se expresa como un

producto de maxitérminos

2019 10
Esta expresión es la Forma Normal Conjuntiva o producto de
max-términos o conjunción de2019disyunciones. 11
 Formas Canónicas

Forma Canónica Disyuntiva

Forma Canónica Conjuntiva

2019 12
 Diagrama de Karnaugh (Mapas)

Consideramos una función booleana

x’ x 0 0 1 0
y’ x’ • y’ x • y’ 0 1 1 1

y x’ • y x•y
0 0

Tabla de la conjunción 0 1
2019 13
 x’ x
y’ 1 0

y 1 0

2019 14
 x’ x
y’ 1 1

y 1 0

x’ x x’ x
y’ y’ 1 1
1 1
y 1 0 y 1 0

2019 15
Consideramos una función booleana

x’ y’ x’ y xy x y’
z’ x’ • y’ • z’ x’ • y • z’ x • y • z’ x • y’ • z’
z x’ • y’ • z x’ • y • z x•y•z x • y’ • z
0 0 0 1 1 1 1 0
0 0 0 0 0 1 0 1 1 0 1 0 0
1 0 0 1 0 1 1 1 1 1 1 0 1
x’ y’ x’ y xy x y’
z’ 0 0 0 0
z 0 0 1 0

2019 16
Ejemplo:

x’ y’ x’ y xy x y’
z’ 1 1 1 1
z 0 0 1 0

2019 17
Ejemplo:

x’ y’ x’ y xy x y’
z’ 1 0 0 1
z 1 1 1 0

2019 18
 Consideramos una función booleana

x’ y’ x’ y x y x y’
000 010 100
z’w’ 1100
0 0 0
z’w 000 010
1101
100
1 1 1
zw
0011 0111 1111 1011
zw’ 001 101
0110 1110
0 0

2019 19
 x’ y’ x’ y x y x y’

z’w’ 1 0 0 1

z’w 0 1 1 0

zw 0 1 1 0

zw’ 1 0 0 1

2019 20
 x’ y’ x’ y x y x y’
z’w’ 1 0 0 1
z’w 0 1 1 0
zw 0 1 1 0
zw’ 1 0 0 1

2019 21
2019 22
2019 23
 x’ y’ x’ y x y x y’

z’w’ 1 0 1 1

z’w 1 0 1 1

zw 1 1 1 1

zw’ 1 0 1 1

2019 24
2019 25