Clase #2

Álgebra booleana y compuertas lógicas

Prof. David Leal

dleal@usb.ve

Prof. David Leal Clase #2 1 / 23

 Lógica binaria Definición de lógica binaria

Definición de lógica binaria

La lógica binaria consiste en variables binarias y operaciones lógicas. Las variables se
designan con letras del alfabeto, como A, B, C, x, y, z, etcétera, y cada variable tiene
dos y sólo dos posibles valores: 1 y 0. Hay tres operaciones lógicas básicas: AND, OR y
NOT.
AND
Esta operación se representa con un punto u omitiendo el operador. Por ejemplo,
x · y = z o xy = z se lee “x AND y es igual a z”. La operación lógica AND significa
que z = 1 si y sólo si x = 1 y y = 1; de lo contrario, z = 0.

OR
Esta operación se representa con un signo más. Por ejemplo, x + y = z se lee “x OR y
es igual a z”, y significa que z = 1 si x = 1 o si y = 1 o si x = 1 y y = 1. Si x = 0 y
y = 0, entonces z = 0.

NOT
Esta operación se representa con un apóstrofo. Por ejemplo, x0 = z (o x = z) se lee
como “no x es igual a z” y significa que z es lo contrario de x. Dicho de otro modo, si
x = 1, entonces z = 0; pero si x = 0, entonces z = 1.
Prof. David Leal Clase #2 2 / 23
 Lógica binaria Definición de lógica binaria

Definición de lógica binaria

La lógica binaria consiste en variables binarias y operaciones lógicas. Las variables se
designan con letras del alfabeto, como A, B, C, x, y, z, etcétera, y cada variable tiene
dos y sólo dos posibles valores: 1 y 0. Hay tres operaciones lógicas básicas: AND, OR y
NOT.
AND
Esta operación se representa con un punto u omitiendo el operador. Por ejemplo,
x · y = z o xy = z se lee “x AND y es igual a z”. La operación lógica AND significa
que z = 1 si y sólo si x = 1 y y = 1; de lo contrario, z = 0.

OR
Esta operación se representa con un signo más. Por ejemplo, x + y = z se lee “x OR y
es igual a z”, y significa que z = 1 si x = 1 o si y = 1 o si x = 1 y y = 1. Si x = 0 y
y = 0, entonces z = 0.

NOT
Esta operación se representa con un apóstrofo. Por ejemplo, x0 = z (o x = z) se lee
como “no x es igual a z” y significa que z es lo contrario de x. Dicho de otro modo, si
x = 1, entonces z = 0; pero si x = 0, entonces z = 1.
Prof. David Leal Clase #2 2 / 23
 Lógica binaria Definición de lógica binaria

Definición de lógica binaria

La lógica binaria consiste en variables binarias y operaciones lógicas. Las variables se
designan con letras del alfabeto, como A, B, C, x, y, z, etcétera, y cada variable tiene
dos y sólo dos posibles valores: 1 y 0. Hay tres operaciones lógicas básicas: AND, OR y
NOT.
AND
Esta operación se representa con un punto u omitiendo el operador. Por ejemplo,
x · y = z o xy = z se lee “x AND y es igual a z”. La operación lógica AND significa
que z = 1 si y sólo si x = 1 y y = 1; de lo contrario, z = 0.

OR
Esta operación se representa con un signo más. Por ejemplo, x + y = z se lee “x OR y
es igual a z”, y significa que z = 1 si x = 1 o si y = 1 o si x = 1 y y = 1. Si x = 0 y
y = 0, entonces z = 0.

NOT
Esta operación se representa con un apóstrofo. Por ejemplo, x0 = z (o x = z) se lee
como “no x es igual a z” y significa que z es lo contrario de x. Dicho de otro modo, si
x = 1, entonces z = 0; pero si x = 0, entonces z = 1.
Prof. David Leal Clase #2 2 / 23
 Lógica binaria Definición de lógica binaria

Definición de lógica binaria

La lógica binaria consiste en variables binarias y operaciones lógicas. Las variables se
designan con letras del alfabeto, como A, B, C, x, y, z, etcétera, y cada variable tiene
dos y sólo dos posibles valores: 1 y 0. Hay tres operaciones lógicas básicas: AND, OR y
NOT.
AND
Esta operación se representa con un punto u omitiendo el operador. Por ejemplo,
x · y = z o xy = z se lee “x AND y es igual a z”. La operación lógica AND significa
que z = 1 si y sólo si x = 1 y y = 1; de lo contrario, z = 0.

OR
Esta operación se representa con un signo más. Por ejemplo, x + y = z se lee “x OR y
es igual a z”, y significa que z = 1 si x = 1 o si y = 1 o si x = 1 y y = 1. Si x = 0 y
y = 0, entonces z = 0.

NOT
Esta operación se representa con un apóstrofo. Por ejemplo, x0 = z (o x = z) se lee
como “no x es igual a z” y significa que z es lo contrario de x. Dicho de otro modo, si
x = 1, entonces z = 0; pero si x = 0, entonces z = 1.
Prof. David Leal Clase #2 2 / 23
 Lógica binaria Definición de lógica binaria

Tablas de verdad de operaciones lógicas

AND OR NOT
x y x·y x y x+y
0 0 0 0 0 0 x x0
0 1 0 0 1 1 0 1
1 0 0 1 0 1 1 0
1 1 1 1 1 1

Prof. David Leal Clase #2 3 / 23

 Lógica binaria Definición de lógica binaria

Compuertas lógicas
Compuerta AND de dos entradas

Compuerta OR de dos entradas

Compuerta NOT o inversor

Prof. David Leal Clase #2 4 / 23

 Álgebra booleana

Historia

Las técnicas de análisis formal para los circuitos digitales tienen sus raı́ces
en el trabajo de un matemático inglés, George Boole. En 1854, él
introdujo un tratamiento sistemático de la lógica y desarrolló, con este fin,
un sistema algebraico que ahora llamamos álgebra booleana. En 1938, C.
E. Shannon introdujo un álgebra booleana de dos valores llamada álgebra
de conmutación y demostró que las propiedades de los circuitos eléctricos
de conmutación biestables podı́an representarse con esa álgebra. Para
definir formalmente el álgebra booleana, utilizaremos los postulados
formulados por E. V. Huntington en 1904.

Prof. David Leal Clase #2 5 / 23

 Álgebra booleana Axiomas

Axiomas
Los axiomas (o postulados) de un sistema matemáticos son un conjunto
mı́nimo de definiciones básicas que suponemos verdades, a partir de estas
definiciones se obtienen información adicional del sistema.
El álgebra booleana, al igual que todos los sistemas matemáticos
deductivos, se define con un conjunto de elementos, un conjunto de
operadores y varios axiomas o postulados no demostrados. Está definida
por un conjunto de elementos, B = {1, 0}, junto con dos operadores
binarios, + y ·, a condición de que se satisfagan los postulados siguientes
(de Huntington):

Cerradura
a) Cerradura respecto al operador +.
b) Cerradura respecto al operador ·.

Elemento de identidad
a) Un elemento de identidad con respecto a +, designado por 0: x + 0 = 0 + x = x.
b) Un elemento de identidad con respecto a ·, designado por 1: x · 1 = 1 · x = x.

Prof. David Leal Clase #2 6 / 23

 Álgebra booleana Axiomas

Axiomas
Los axiomas (o postulados) de un sistema matemáticos son un conjunto
mı́nimo de definiciones básicas que suponemos verdades, a partir de estas
definiciones se obtienen información adicional del sistema.
El álgebra booleana, al igual que todos los sistemas matemáticos
deductivos, se define con un conjunto de elementos, un conjunto de
operadores y varios axiomas o postulados no demostrados. Está definida
por un conjunto de elementos, B = {1, 0}, junto con dos operadores
binarios, + y ·, a condición de que se satisfagan los postulados siguientes
(de Huntington):

Cerradura
a) Cerradura respecto al operador +.
b) Cerradura respecto al operador ·.

Elemento de identidad
a) Un elemento de identidad con respecto a +, designado por 0: x + 0 = 0 + x = x.
b) Un elemento de identidad con respecto a ·, designado por 1: x · 1 = 1 · x = x.

Prof. David Leal Clase #2 6 / 23

 Álgebra booleana Axiomas

Axiomas
Los axiomas (o postulados) de un sistema matemáticos son un conjunto
mı́nimo de definiciones básicas que suponemos verdades, a partir de estas
definiciones se obtienen información adicional del sistema.
El álgebra booleana, al igual que todos los sistemas matemáticos
deductivos, se define con un conjunto de elementos, un conjunto de
operadores y varios axiomas o postulados no demostrados. Está definida
por un conjunto de elementos, B = {1, 0}, junto con dos operadores
binarios, + y ·, a condición de que se satisfagan los postulados siguientes
(de Huntington):

Cerradura
a) Cerradura respecto al operador +.
b) Cerradura respecto al operador ·.

Elemento de identidad
a) Un elemento de identidad con respecto a +, designado por 0: x + 0 = 0 + x = x.
b) Un elemento de identidad con respecto a ·, designado por 1: x · 1 = 1 · x = x.

Prof. David Leal Clase #2 6 / 23

 Álgebra booleana Axiomas

Axiomas
Los axiomas (o postulados) de un sistema matemáticos son un conjunto
mı́nimo de definiciones básicas que suponemos verdades, a partir de estas
definiciones se obtienen información adicional del sistema.
El álgebra booleana, al igual que todos los sistemas matemáticos
deductivos, se define con un conjunto de elementos, un conjunto de
operadores y varios axiomas o postulados no demostrados. Está definida
por un conjunto de elementos, B = {1, 0}, junto con dos operadores
binarios, + y ·, a condición de que se satisfagan los postulados siguientes
(de Huntington):

Cerradura
a) Cerradura respecto al operador +.
b) Cerradura respecto al operador ·.

Elemento de identidad
a) Un elemento de identidad con respecto a +, designado por 0: x + 0 = 0 + x = x.
b) Un elemento de identidad con respecto a ·, designado por 1: x · 1 = 1 · x = x.

Prof. David Leal Clase #2 6 / 23

 Álgebra booleana Axiomas

Axiomas

Ley conmutativa
a) Conmutativa respecto a +: x + y = y + x.
b) Conmutativa respecto a +: x · y = y · x.

Ley distributiva
a) · es distributivo sobre +: x · (y + z) = (x · y) + (x · z).
b) + es distributivo sobre ·: x + (y · z) = (x + y) · (x + z).

Inverso
Para cada elemento x ∈ B, existe un elemento x0 ∈ B (llamado complemento de x) tal que:
a) x + x0 = 1.
b) x · x0 = 0.

Número de elementos
Existen por lo menos dos elementos x, y ∈ B tales que x 6= y.

Prof. David Leal Clase #2 7 / 23

 Álgebra booleana Axiomas

Axiomas

Ley conmutativa
a) Conmutativa respecto a +: x + y = y + x.
b) Conmutativa respecto a +: x · y = y · x.

Ley distributiva
a) · es distributivo sobre +: x · (y + z) = (x · y) + (x · z).
b) + es distributivo sobre ·: x + (y · z) = (x + y) · (x + z).

Inverso
Para cada elemento x ∈ B, existe un elemento x0 ∈ B (llamado complemento de x) tal que:
a) x + x0 = 1.
b) x · x0 = 0.

Número de elementos
Existen por lo menos dos elementos x, y ∈ B tales que x 6= y.

Prof. David Leal Clase #2 7 / 23

 Álgebra booleana Axiomas

Axiomas

Ley conmutativa
a) Conmutativa respecto a +: x + y = y + x.
b) Conmutativa respecto a +: x · y = y · x.

Ley distributiva
a) · es distributivo sobre +: x · (y + z) = (x · y) + (x · z).
b) + es distributivo sobre ·: x + (y · z) = (x + y) · (x + z).

Inverso
Para cada elemento x ∈ B, existe un elemento x0 ∈ B (llamado complemento de x) tal que:
a) x + x0 = 1.
b) x · x0 = 0.

Número de elementos
Existen por lo menos dos elementos x, y ∈ B tales que x 6= y.

Prof. David Leal Clase #2 7 / 23

 Álgebra booleana Axiomas

Axiomas

Ley conmutativa
a) Conmutativa respecto a +: x + y = y + x.
b) Conmutativa respecto a +: x · y = y · x.

Ley distributiva
a) · es distributivo sobre +: x · (y + z) = (x · y) + (x · z).
b) + es distributivo sobre ·: x + (y · z) = (x + y) · (x + z).

Inverso
Para cada elemento x ∈ B, existe un elemento x0 ∈ B (llamado complemento de x) tal que:
a) x + x0 = 1.
b) x · x0 = 0.

Número de elementos
Existen por lo menos dos elementos x, y ∈ B tales que x 6= y.

Prof. David Leal Clase #2 7 / 23

 Álgebra booleana Teoremas y propiedades básicas

Dualidad

Hemos establecido todos los axiomas del álgebra booleana en parejas. La

versión b) de cada axioma se obtiene de la versión a) al intercambiar
sencillamente 0 y 1 y, si se encuentran presentes, · y +. Como
resultado,podemos establecer el siguiente metateorema, un teorema acerca
de teoremas:
Principio de Dualidad
Toda expresión algebraica que pueda deducirse de los postulados del
álgebra booleana seguirá siendo válida si se intercambian los operadores (·
y +) y los elementos de identidad (0 y 1).

Prof. David Leal Clase #2 8 / 23

 Álgebra booleana Teoremas y propiedades básicas

Dualidad

Hemos establecido todos los axiomas del álgebra booleana en parejas. La

versión b) de cada axioma se obtiene de la versión a) al intercambiar
sencillamente 0 y 1 y, si se encuentran presentes, · y +. Como
resultado,podemos establecer el siguiente metateorema, un teorema acerca
de teoremas:
Principio de Dualidad
Toda expresión algebraica que pueda deducirse de los postulados del
álgebra booleana seguirá siendo válida si se intercambian los operadores (·
y +) y los elementos de identidad (0 y 1).

Prof. David Leal Clase #2 8 / 23

 Álgebra booleana Teoremas y propiedades básicas

Postulados y teoremas

a) b)
Postulado 2 x+0=x x·1=x
Postulado 5 x + x0 = 1 x · x0 = 0
Teorema 1 x+x=x x·x=x
Teorema 2 x+1=1 x·0=0
Teorema 3, involución (x0 )0 = x
Postulado 3, conmutatividad x+y =y+x xy = yx
Teorema 4, asociatividad x + (y + z) = (x + y) + z x(yz) = (xy)z
Postulado 4, distributividad x(y + z) = xy + xz x + yz = (x + y)(x + z)
Teorema 5, DeMorgan (x + y)0 = x0 y 0 (xy)0 = x0 + y 0
Teorema 6, absorción x + xy = x x(x + y) = x

Prof. David Leal Clase #2 9 / 23

 Álgebra booleana Teoremas y propiedades básicas

Precedencia de operadores

La precedencia de operadores para evaluar expresiones booleanas es:

1 Paréntesis
2 NOT
3 AND
4 OR
Dicho de otro modo, la expresión encerrada en paréntesis se debe evaluar
antes que todas las demás operaciones. La siguiente operación que tiene
precedencia es el complemento, seguida del AND y por último el OR.

Prof. David Leal Clase #2 10 / 23

 Funciones Booleanas

Funciones Booleanas
Una función booleana descrita por una expresión algebraica consta de
variables binarias, las constantes 0 y 1, y los sı́mbolos lógicos de operación.
Para un valor dado de las variables binarias, la función puede ser igual a 1
o bien a 0.
Ejemplo:
Considere por ejemplo esta función booleana:
x y z F1
0 0 0 0
0
F1 = x + y z 0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Prof. David Leal Clase #2 11 / 23
 Funciones Booleanas

Funciones Booleanas
Una función booleana descrita por una expresión algebraica consta de
variables binarias, las constantes 0 y 1, y los sı́mbolos lógicos de operación.
Para un valor dado de las variables binarias, la función puede ser igual a 1
o bien a 0.
Ejemplo:
Considere por ejemplo esta función booleana:
x y z F1
0 0 0 0
0
F1 = x + y z 0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Prof. David Leal Clase #2 11 / 23
 Funciones Booleanas Manipulación algebraica

Manipulación algebraica
Sólo hay una forma de representar una función booleana en una tabla de
verdad. En cambio, cuando la función está en forma algebraica, puede
expresarse de varias maneras. La expresión especı́fica empleada para
designar la función también determinará la interconexión de compuertas en
el diagrama de circuito lógico. Manipulando una expresión booleana según
las reglas del álgebra booleana, a veces es posible obtener una expresión
más simple para la misma función y ası́ reducir el número de compuertas
del circuito y el número de entradas de las compuertas. Consideremos, por
ejemplo, esta función booleana:

F2 = x0 y 0 z + x0 yz + xy 0

Consideremos ahora la posible simplificación de la función aplicando

algunas de las identidades del álgebra booleana:

F2 = x0 z + xy 0

Prof. David Leal Clase #2 12 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica
Sólo hay una forma de representar una función booleana en una tabla de
verdad. En cambio, cuando la función está en forma algebraica, puede
expresarse de varias maneras. La expresión especı́fica empleada para
designar la función también determinará la interconexión de compuertas en
el diagrama de circuito lógico. Manipulando una expresión booleana según
las reglas del álgebra booleana, a veces es posible obtener una expresión
más simple para la misma función y ası́ reducir el número de compuertas
del circuito y el número de entradas de las compuertas. Consideremos, por
ejemplo, esta función booleana:

F2 = x0 y 0 z + x0 yz + xy 0

Consideremos ahora la posible simplificación de la función aplicando

algunas de las identidades del álgebra booleana:

F2 = x0 z + xy 0

Prof. David Leal Clase #2 12 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica

Ejemplos:
1 x(x0 + y) = xx0 + xy = 0 + xy = xy
2 x + x0 y = (x + x0 )(x + y) = 1(x + y) = x + y
3 (x + y)(x + y 0 ) = x + xy + xy 0 + yy 0 = x(1 + y + y 0 ) = x
4 xy + x0 z + yz = xy + x0 z + yz(x + x0 ) = xy + x0 z
5 (x + y)(x0 + z)(y + z) = (x + y)(x0 + z)

Prof. David Leal Clase #2 13 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica

Ejemplos:
1 x(x0 + y) = xx0 + xy = 0 + xy = xy
2 x + x0 y = (x + x0 )(x + y) = 1(x + y) = x + y
3 (x + y)(x + y 0 ) = x + xy + xy 0 + yy 0 = x(1 + y + y 0 ) = x
4 xy + x0 z + yz = xy + x0 z + yz(x + x0 ) = xy + x0 z
5 (x + y)(x0 + z)(y + z) = (x + y)(x0 + z)

Prof. David Leal Clase #2 13 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica

Ejemplos:
1 x(x0 + y) = xx0 + xy = 0 + xy = xy
2 x + x0 y = (x + x0 )(x + y) = 1(x + y) = x + y
3 (x + y)(x + y 0 ) = x + xy + xy 0 + yy 0 = x(1 + y + y 0 ) = x
4 xy + x0 z + yz = xy + x0 z + yz(x + x0 ) = xy + x0 z
5 (x + y)(x0 + z)(y + z) = (x + y)(x0 + z)

Prof. David Leal Clase #2 13 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica

Ejemplos:
1 x(x0 + y) = xx0 + xy = 0 + xy = xy
2 x + x0 y = (x + x0 )(x + y) = 1(x + y) = x + y
3 (x + y)(x + y 0 ) = x + xy + xy 0 + yy 0 = x(1 + y + y 0 ) = x
4 xy + x0 z + yz = xy + x0 z + yz(x + x0 ) = xy + x0 z
5 (x + y)(x0 + z)(y + z) = (x + y)(x0 + z)

Prof. David Leal Clase #2 13 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica

Ejemplos:
1 x(x0 + y) = xx0 + xy = 0 + xy = xy
2 x + x0 y = (x + x0 )(x + y) = 1(x + y) = x + y
3 (x + y)(x + y 0 ) = x + xy + xy 0 + yy 0 = x(1 + y + y 0 ) = x
4 xy + x0 z + yz = xy + x0 z + yz(x + x0 ) = xy + x0 z
5 (x + y)(x0 + z)(y + z) = (x + y)(x0 + z)

Prof. David Leal Clase #2 13 / 23

 Funciones Booleanas Manipulación algebraica

Manipulación algebraica

Ejemplos:
1 x(x0 + y) = xx0 + xy = 0 + xy = xy
2 x + x0 y = (x + x0 )(x + y) = 1(x + y) = x + y
3 (x + y)(x + y 0 ) = x + xy + xy 0 + yy 0 = x(1 + y + y 0 ) = x
4 xy + x0 z + yz = xy + x0 z + yz(x + x0 ) = xy + x0 z
5 (x + y)(x0 + z)(y + z) = (x + y)(x0 + z)

Prof. David Leal Clase #2 13 / 23

 Funciones Booleanas Formas canónicas y estándar

Formas canónicas y estándar

Se dice que las funciones booleanas expresadas como suma de

minitérminos o producto de maxitérminos están en forma canónica.
Minitérminos: un mintérmino o producto estándar de n variables es un
término de producto normal con n literales.
Maxitérminos: un maxitérmino o sumas estándar de n variables es un
término de suma normal con n literales.
Definimos una literal como una sola variable dentro de un término, que
podrı́a estar complementada o no. Y a un término normal como un
término de producto o de suma en el cual una variable aparece una sola
vez.

Prof. David Leal Clase #2 14 / 23

 Funciones Booleanas Formas canónicas y estándar

Formas canónicas y estándar

Se dice que las funciones booleanas expresadas como suma de

minitérminos o producto de maxitérminos están en forma canónica.
Minitérminos: un mintérmino o producto estándar de n variables es un
término de producto normal con n literales.
Maxitérminos: un maxitérmino o sumas estándar de n variables es un
término de suma normal con n literales.
Definimos una literal como una sola variable dentro de un término, que
podrı́a estar complementada o no. Y a un término normal como un
término de producto o de suma en el cual una variable aparece una sola
vez.

Prof. David Leal Clase #2 14 / 23

 Funciones Booleanas Formas canónicas y estándar

Formas canónicas y estándar

Se dice que las funciones booleanas expresadas como suma de

minitérminos o producto de maxitérminos están en forma canónica.
Minitérminos: un mintérmino o producto estándar de n variables es un
término de producto normal con n literales.
Maxitérminos: un maxitérmino o sumas estándar de n variables es un
término de suma normal con n literales.
Definimos una literal como una sola variable dentro de un término, que
podrı́a estar complementada o no. Y a un término normal como un
término de producto o de suma en el cual una variable aparece una sola
vez.

Prof. David Leal Clase #2 14 / 23

 Funciones Booleanas Formas canónicas y estándar

Formas canónicas y estándar

Minitérminos Maxitérminos
x y z Términos Designación Términos Designación
0 0 0 x0 y 0 z 0 m0 x+y+z M0
0 0 1 x0 y 0 z m1 x + y + z0 M1
0 1 0 x0 yz 0 m2 x + y0 + z M2
0 1 1 x0 yz m3 x + y0 + z0 M3
1 0 0 xy 0 z 0 m4 x0 + y + z M4
1 0 1 xy 0 z m5 x0 + y + z 0 M5
1 1 0 xyz 0 m6 x0 + y 0 + z M6
1 1 1 xyz m7 x0 + y 0 + z 0 M7

Prof. David Leal Clase #2 15 / 23

 Funciones Booleanas Formas canónicas y estándar

Suma de minitérminos

Cualquier función booleana se puede expresar como una suma de

minitérminos (donde “suma” se refiere al OR de los términos).
Ejemplo:

x y z f1 f2 f1 = x0 y 0 z + xy 0 z 0 + xyz
0 0 0 0 0 = m1 + m4 + m7
X
0 0 1 1 0 f1 (x, y, z) = (1, 4, 7)
0 1 0 0 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1 f2 = x0 yz + xy 0 z + xyz 0 + xyz
1 1 0 0 1 = m3 + m5 + m6 + m7
X
1 1 1 1 1 f2 (x, y, z) = (3, 5, 6, 7)

Prof. David Leal Clase #2 16 / 23

 Funciones Booleanas Formas canónicas y estándar

Suma de minitérminos

Cualquier función booleana se puede expresar como una suma de

minitérminos (donde “suma” se refiere al OR de los términos).
Ejemplo:

x y z f1 f2 f1 = x0 y 0 z + xy 0 z 0 + xyz
0 0 0 0 0 = m1 + m4 + m7
X
0 0 1 1 0 f1 (x, y, z) = (1, 4, 7)
0 1 0 0 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1 f2 = x0 yz + xy 0 z + xyz 0 + xyz
1 1 0 0 1 = m3 + m5 + m6 + m7
X
1 1 1 1 1 f2 (x, y, z) = (3, 5, 6, 7)

Prof. David Leal Clase #2 16 / 23

 Funciones Booleanas Formas canónicas y estándar

Suma de minitérminos

Cualquier función booleana se puede expresar como una suma de

minitérminos (donde “suma” se refiere al OR de los términos).
Ejemplo:

x y z f1 f2 f1 = x0 y 0 z + xy 0 z 0 + xyz
0 0 0 0 0 = m1 + m4 + m7
X
0 0 1 1 0 f1 (x, y, z) = (1, 4, 7)
0 1 0 0 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1 f2 = x0 yz + xy 0 z + xyz 0 + xyz
1 1 0 0 1 = m3 + m5 + m6 + m7
X
1 1 1 1 1 f2 (x, y, z) = (3, 5, 6, 7)

Prof. David Leal Clase #2 16 / 23

 Funciones Booleanas Formas canónicas y estándar

Suma de minitérminos
Cualquier función booleana se puede expresar como una suma de
minitérminos (donde “suma” se refiere al OR de los términos).
Ejemplo:
Considere ahora el complemento de una función
booleana. Podrı́a leerse de la tabla de verdad formando
un minitérmino para cada combinación que produce un 0
x y z f1 f2
en la función, y haciendo después el OR de esos
0 0 0 0 0 términos. El complemento de f1 se lee ası́:
0 0 1 1 0
f10 = x0 y 0 z 0 + x0 yz 0 + x0 yz + xy 0 z + xyz 0
0 1 0 0 0
0 1 1 0 1 Si obtenemos el complemento de f10 , obtendremos la
1 0 0 1 0 función f1 :
1 0 1 0 1
1 1 0 0 1 f1 = (x + y + z)(x + y 0 + z)(x0 + y + z 0 )(x0 + y 0 + z)
1 1 1 1 1 = M0 · M2 · M3 · M5 · M6

Prof. David Leal Clase #2 17 / 23

 Funciones Booleanas Formas canónicas y estándar

Suma de minitérminos
Cualquier función booleana se puede expresar como una suma de
minitérminos (donde “suma” se refiere al OR de los términos).
Ejemplo:
Considere ahora el complemento de una función
booleana. Podrı́a leerse de la tabla de verdad formando
un minitérmino para cada combinación que produce un 0
x y z f1 f2
en la función, y haciendo después el OR de esos
0 0 0 0 0 términos. El complemento de f1 se lee ası́:
0 0 1 1 0
f10 = x0 y 0 z 0 + x0 yz 0 + x0 yz + xy 0 z + xyz 0
0 1 0 0 0
0 1 1 0 1 Si obtenemos el complemento de f10 , obtendremos la
1 0 0 1 0 función f1 :
1 0 1 0 1
1 1 0 0 1 f1 = (x + y + z)(x + y 0 + z)(x0 + y + z 0 )(x0 + y 0 + z)
1 1 1 1 1 = M0 · M2 · M3 · M5 · M6

Prof. David Leal Clase #2 17 / 23

 Funciones Booleanas Formas canónicas y estándar

Producto de maxitérminos

Cualquier función booleana se puede expresar como un producto de

maxitérminos (donde “producto” se refiere a hacer el AND de los
términos).
Ejemplo:

x y z f1 f2 f1 = (x + y + z)(x + y 0 + z) · · ·
0 0 0 0 0 · · · (x0 + y + z 0 )(x0 + y 0 + z)
0 0 1 1 0 = M 0 · M2 · M3 · M 5 · M6
Y
0 1 0 0 0 f1 (x, y, z) = (0, 2, 3, 5, 6)
0 1 1 0 1
f2 = (x + y + z)(x + y + z 0 )
1 0 0 1 0
1 0 1 0 1 · · · (x + y 0 + z)(x0 + y + z) · · ·
1 1 0 0 1 = M0 M1 M 2 M4
Y
1 1 1 1 1 f2 (x, y, z) = (0, 1, 2, 4)

Prof. David Leal Clase #2 18 / 23

 Funciones Booleanas Formas canónicas y estándar

Producto de maxitérminos

Cualquier función booleana se puede expresar como un producto de

maxitérminos (donde “producto” se refiere a hacer el AND de los
términos).
Ejemplo:

x y z f1 f2 f1 = (x + y + z)(x + y 0 + z) · · ·
0 0 0 0 0 · · · (x0 + y + z 0 )(x0 + y 0 + z)
0 0 1 1 0 = M 0 · M2 · M3 · M 5 · M6
Y
0 1 0 0 0 f1 (x, y, z) = (0, 2, 3, 5, 6)
0 1 1 0 1
f2 = (x + y + z)(x + y + z 0 )
1 0 0 1 0
1 0 1 0 1 · · · (x + y 0 + z)(x0 + y + z) · · ·
1 1 0 0 1 = M0 M1 M 2 M4
Y
1 1 1 1 1 f2 (x, y, z) = (0, 1, 2, 4)

Prof. David Leal Clase #2 18 / 23

 Funciones Booleanas Formas canónicas y estándar

Producto de maxitérminos

Cualquier función booleana se puede expresar como un producto de

maxitérminos (donde “producto” se refiere a hacer el AND de los
términos).
Ejemplo:

x y z f1 f2 f1 = (x + y + z)(x + y 0 + z) · · ·
0 0 0 0 0 · · · (x0 + y + z 0 )(x0 + y 0 + z)
0 0 1 1 0 = M 0 · M2 · M3 · M 5 · M6
Y
0 1 0 0 0 f1 (x, y, z) = (0, 2, 3, 5, 6)
0 1 1 0 1
f2 = (x + y + z)(x + y + z 0 )
1 0 0 1 0
1 0 1 0 1 · · · (x + y 0 + z)(x0 + y + z) · · ·
1 1 0 0 1 = M0 M1 M 2 M4
Y
1 1 1 1 1 f2 (x, y, z) = (0, 1, 2, 4)

Prof. David Leal Clase #2 18 / 23

 Funciones Booleanas Formas canónicas y estándar

Conversión entre formas canónicas

El complemento de una función expresado como la suma de minitérminos es igual
a la suma de los minitérminos que faltan en la función original. Por ejemplo,
considere la función X
F (A, B, C) = (1, 4, 5, 6, 7)
Su complemento se expresa como
X
F 0 (A, B, C) = (0, 2, 3) = m0 + m2 + m3

Ahora bien, si se determina el complemento de F 0 por el teorema de DeMorgan,

se obtiene F en una forma distinta:
0
Y
F = (m0 + m2 + m3 ) = m00 · m02 · m3 = M0 M2 M3 = (0, 2, 3)

Esta última conversión es consecuencia de la definición de minitérminos y

maxitérminos, es decir, el maxitérmino con subı́ndice j es el complemento del
minitérmino que lleva ese subı́ndice, y viceversa.

m0j = Mj

Prof. David Leal Clase #2 19 / 23

 Funciones Booleanas Formas canónicas y estándar

Conversión entre formas canónicas

El complemento de una función expresado como la suma de minitérminos es igual
a la suma de los minitérminos que faltan en la función original. Por ejemplo,
considere la función X
F (A, B, C) = (1, 4, 5, 6, 7)
Su complemento se expresa como
X
F 0 (A, B, C) = (0, 2, 3) = m0 + m2 + m3

Ahora bien, si se determina el complemento de F 0 por el teorema de DeMorgan,

se obtiene F en una forma distinta:
0
Y
F = (m0 + m2 + m3 ) = m00 · m02 · m3 = M0 M2 M3 = (0, 2, 3)

Esta última conversión es consecuencia de la definición de minitérminos y

maxitérminos, es decir, el maxitérmino con subı́ndice j es el complemento del
minitérmino que lleva ese subı́ndice, y viceversa.

m0j = Mj

Prof. David Leal Clase #2 19 / 23

 Otras operaciones lógicas

Otras operaciones lógicas

Para n variables binarias hay 22n funciones. En el caso de dos variables,

n = 2, y el número de posibles funciones booleanas es 16. Por tanto, las
funciones AND y OR son sólo dos de un total de 16 posibles funciones que
se forman con dos variables binarias. Serı́a interesante encontrar las otras
14 funciones e investigar sus propiedades.

x y F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15

0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Prof. David Leal Clase #2 20 / 23

 Otras operaciones lógicas

Otras operaciones lógicas

Para n variables binarias hay 22n funciones. En el caso de dos variables,

n = 2, y el número de posibles funciones booleanas es 16. Por tanto, las
funciones AND y OR son sólo dos de un total de 16 posibles funciones que
se forman con dos variables binarias. Serı́a interesante encontrar las otras
14 funciones e investigar sus propiedades.

x y F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15

0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Prof. David Leal Clase #2 20 / 23

 Otras operaciones lógicas

Otras operaciones lógicas

Funciones booleanas Sı́mbolo Nombre Comentarios

de operador
F0 = 0 Nula Constante binaria 0
F1 = xy x·y AND xyy
F2 = xy 0 x/y Inhibición x, pero no y
F3 = x Transferencia x0
F4 = x0 y y/x Inhibición y pero no x
F5 = y Transferencia y
F6 = xy 0 + x0 y x⊕y OR exclusivo x o y, pero no ambas
F7 = x + y x+y OR xoy
F8 = (x + y)0 x↓y NOR No OR
F9 = xy + x0 y 0 (x ⊕ y)0 Equivalencia x es igual a y
F10 = y 0 y0 Complemento No y
F11 = x + y 0 x⊂y Implicación Si y, entonces x
F12 = x0 x0 Complemento No x
F13 = x0 + y x⊃y Implicación Si x, entonces y
F14 = (xy)0 x↑y NAND No AND
F15 = 1 Identidad Constante binaria 1

Prof. David Leal Clase #2 21 / 23

 Otras operaciones lógicas

Otras operaciones lógicas

Nombre Sı́mbolo Función

gráfico algebraica

AND F = xy

OR F =x+y

Inversor F = x0

Búfer F =x

NAND F = (xy)0

NOR F = (x + y)0

XOR F = xy 0 + x0 y
F =x⊕y

XNOR F = xy + x0 y 0
F = (x ⊕ y)0
Prof. David Leal Clase #2 22 / 23
 Referencias

Referencias

Mano, M (2003)
Diseño digital
Prentice-Hall Inc.
WAKERL, J. (2000)
Diseño Digital: Principios y Prácticas
Prentice-Hall Inc.
Floyd, T. (2000)
Fundamentos de sistemas digitales
Prentice-Hall Inc.

Prof. David Leal Clase #2 23 / 23