TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 1/15

LGEBRA DE BOOLE
Se ocupa de la manipulacin de las denominadas variables lgicas o booleanas.
Variable lgica:
es aqulla que en todo momento puede tomar uno de dos estados posibles.
Ejemplo de este tipo de variables son: una lmpara (prendida o apagada); una puerta (abierta o
cerrada); seales elctricas (valor positivo, valor nulo); un bit (1, 0); un contacto (abierto, cerrado).
Precisamente al lgebra de Boole tambin se la denomin lgebra de conmutacin pues su estudio se
bas en el funcionamiento de relevadores o llaves electromecnicas que se operan o se desactivan.
En la figura se ve un ejemplo, en el cual se introducen dos tipos de contactos que se utilizan
habitualmente tanto en la industria como en electricidad y electrnica: son los Normal Abierto (NA) y
Normal Cerrado (NC):

Ip=0

A=0

Ip=0

Ip

A=1

a)
b)
Contacto Normal Abierto

Ip

A=0

A=1

NA
NC

c)
d)
Contacto Normal Cerrado

fig.2

fig.1

As, el esquema de la fig.1 a) si no se activa el terminal del contactor, no circula corriente, no mueve
su eje (electroimn) y los terminales de contacto no se unen, no producindose transmisin (T) de un
extremo a otro del dispositivo, lo cual s sucede en la figura b) cuando se hace A=1.
En la fig.1 c) si no se activa el terminal del contactor, no circula corriente, no mueve su eje
(electroimn) y los terminales de contacto se mantienen unidos producindose transmisin entre sus
extremos, dejando de hacerlo, como en el caso de la figura 1d) cuando se opera el contactor y se abre
(A=1).
Los esquemas simblicos con que se representan ambos tipos de contactores se ilustran en fig.2
Desde el punto de vista lgico su operacin se representa con Tablas de Verdad; se ilustran en la fig.3

A
T

T=A

0
1

0
1

a)

A
Buffer

A
T

T=/A

0
1

1
0

b)

A
Inversor
fig.3

Se muestran adems los dispositivos circuitales que se encargan de realizar las operaciones lgicas
en los circuitos que se vern a lo largo del curso: las compuertas lgicas. En este caso, a cada
operacin le corresponden sendos dispositivos. Uno es el denominado Buffer (o separador) que deja
pasar la misma seal que hay en la entrada, pero cuyo objetivo en todo caso, tiene que ver con la
operacin elctrica del circuito donde va a funcionar (por ejemplo, se pueden utilizar buffers cuando es
necesario que la variable lgica maneje mayores niveles de corriente, etc).
El otro es el Inversor, que entrega en su salida el estado opuesto al presente en su entrada
FUNCIONES LGICAS
En el ejemplo de la fig. 3 b) se dice que la variable lgica T (transmisin) toma un estado que es el
opuesto de A, o sea, depende de A. Se dice que T es funcin de A.
Se define una funcin lgica, como una variable lgica (en todo momento vale 0 o 1) cuyo estado
depende en todo momento del estado que presenten otra u otras variables lgicas. Existen variables
lgicas que son independientes de cualquier proceso (en un circuito lgico sern aqullas externas a
l). Las funciones que dependen de ellas se las puede denominar funciones lgicas primarias.
A la vez, stas pueden relacionarse y generar nuevas funciones lgicas, que pueden denominarse
secundarias.

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 2/15

Inversin: se dice que la operacin lgica Inversin es una funcin lgica que depende del estado de
una sola variable (A en este caso) y se caracteriza por tomar siempre el estado opuesto de ella.
Otras funciones lgicas primarias bsicas son:
Suma lgica: tambin llamada suma, o, or o unin, es una operacin entre variables que asume el
estado 1 cuando una variable o la otra o ambas estn en 1. Esto dicho con palabras se pone de
manifiesto en la tabla de verdad colocando un 1 en cada rengln en que B o A estn en 1. La Tabla
de Verdad de la OR tiene un nico cero. En la fig.4 a) se ve dicha funcin hecha con contactos (hay
Transmisin si se pulsan las llaves A o B o las dos) y con la compuerta OR.
Producto lgico: tambin llamado producto, y, and o interseccin, es una operacin entre variables
que asume el estado 1 cuando una variable y la otra estn en 1. Esto dicho con palabras se pone
de manifiesto en la tabla de verdad colocando un 1 en el rengln en que B y A estn en 1. La Tabla
de Verdad de la AND tiene un nico uno. En la fig.4 b) se ve dicha funcin hecha con contactos (hay
Transmisin si se pulsan las llaves A y B) y con la compuerta AND.

B+A

0
0
1
1

0
1
0
1

0
1
1
1

a)

A
B

B.A

0
0
1
1

0
1
0
1

0
0
0
1

Y=B+A

b)

A
B

Z=B.A

fig.4

Se ver ms adelante, que con estas 3 funciones lgicas primarias se puede formar cualquier funcin
lgica (de lo que se desprende que con compuertas AND, OR e INVERSOR se puede armar
cualquier circuito lgico).

VARIABLES Y FUNCIONES LGICAS COMO DIAGRAMAS DE VENN

En lo que sigue se presenta una manera
A
alternativa de representar variables y
funciones lgicas.
A
Para entenderlo se parte de uno de los
postulados del Algebra de Boole que
establece que si una variable A no toma el
U
U
valor cero, toma el valor uno, es decir el
b)
a)
contrario dentro del universo de valores
posibles (0 y 1). En teora de conjuntos se
fig.5
define un Conjunto Universal (U) dentro
del que se definen todas las variables y funciones. El postulado anterior se puede enunciar en este
mbito diciendo que definido un conjunto A, todo lo que no est includo o pertenezca a A es lo que lo
complementa dentro del universo (se lo simboliza como antes la variable A negada).

A + B

B
U

a)

A.B

U
b)
fig.6

c)

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 3/15

En la fig. 6 se ven ejemplos de funciones lgicas bsicas: en a) se presentan dos conjuntos que
representan las variables A y B. Se define la operacin suma como un conjunto formado por los
elementos que pertenecen a A o pertenecen a B o a los dos. Es un conjunto que surge de juntar, de
unir a los dos. Por eso la operacin suma tambin se la denomina Unin (b). La operacin producto
se entiende como un conjunto formado por los elementos que pertenecen a A y (tambin) pertenecen
a B. Se ve que esto se da en donde los dos conjuntos se intersectan, por lo que al producto lgico
tambin se lo denomina Interseccin (c).

POSTULADOS DEL LGEBRA DE CONMUTACIN

1a) Si A 0 entonces A = 1

1b) Si A 1 entonces A = 0

(variable bivaluada)

2a) A . B = B . A

2b) A + B = B + A

(prop. conmutativa)

3a) A . A = A

3b) A + A = A

(Idempotencia)

A
4a) A . 1 = A

4b) A + 0 = A

(neutralidad)

5a) 0 = 1

5b) 1 = 0

(negacin)

DUALIDAD: Dada una funcin lgica, se puede obtener su dual reemplazando en su expresin los
unos por ceros y viceversa y las sumas por productos y viceversa (Atencin: al aplicar dualidad no se
alteran los estados de las variables; mantienen su carcter de negadas o su forma normal)
Ej: dada f = A.C + B.1

su correspondiente dual ser:

fd = ( A + C ).( B + 0)

Observar que los postulados b) enunciados antes se desprenden por aplicacin de dualidad a los
postulados a). Lo mismo podr el lector aplicarlo como ejercitacin a los teoremas a) que siguen para
corroborar lo que enuncian los teoremas b) o viceversa.
PRINCIPIO DE DUALIDAD:
duales entre s
Ej:

si F .G = A.C + B. D

Si dos funciones lgicas son iguales, tambin lo son sus respectivas

entonces

F + G = ( A + C ).( B + D )

IGUALDAD: Dos funciones lgicas son iguales si sus tablas de verdad son iguales.

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 4/15

TEOREMAS DEL ALGEBRA DE CONMUTACIN

Versin a

Versin b

1) A.0 = 0

A+1 = 1

2) A.A = 0

A+A =1

Propiedad

Involucin

3) A = A
4) (A.B).C = A.(B.C) = A.B.C

(A+B)+C = A+(B+C) = A+B+C

Asociativa

5)

A+(B.C) = A+B.A+C

Distributiva

A.(B+C) = A.B+A.C

6) A.(B+A) = A

A+(B.A) = A

7) A.(B + A) = A.B

A + (B.A) = A + B

Simplificacin

8) A.B = A + B

A + B = A.B

Ley de De Morgan

Absorcin

Ley de Shannon

9) f ( A.B, C...) = fd( A, B, C,...)

10) A.B + B.C + A.C = A.B + A.C

( A + B).(B + C).( A.C) = ( A + B).( A + C)

Consenso

Como fundamento de la Ley de De Morgan se puede presentar las siguientes tablas:

B

B+A

fd(B+A)

B+A

0
0
1
1

0
1
0
1

0
1
1
1

1
1
0
0

1
0
1
0

0
0
0
1

0
0
1
1

0
1
0
1

1
0
0
0

B+A

/B

/A

/(B+A)

/B

/A

/(B+A)

0
0
1
1

0
1
0
1

0
1
1
1

1
1
0
0

1
0
1
0

0
0
0
1

0
0
1
1

0
1
0
1

1
0
0
0

Por dualidad ==>

Negando variables
y la funcin ==>

Reordenando ==>

Reordenando ==>

Aplicando la definicin de igualdad de funciones, se ve que las tablas de verdad de la funcin suma
B+A resulta similar a la de la funcin B.A si se consideran las variables A y B negadas. De esto se
desprende una justificacin del teorema 8b presentado como Ley de De Morgan.

FUNCIN DE FUNCIONES
Sea la funcin

Y = C. A + B. A + C. B. A

se escribe su tabla de verdad descomponindola

en las funciones primarias, que en este caso son
productos. Como la funcin es de 3 variables,
slo el producto que contiene a las tres (C.B./A)*
presenta un nico uno. A los dems les falta
una variable en su expresin y esto determina
que sus columnas tengan dos unos (uno para
cada valor de la variable faltante)
* /A lase A negado.

fig.7

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 5/15

OTRAS TABLAS DE VERDAD:

Por razones que se vern a lo largo del curso,
puede ser de utilidad presentar la informacin
que caracteriza a una funcin lgica mediante
una Tabla de Verdad Reducida, que consiste
en expresarla sin tabular los valores de una o
ms de las variables independientes. En la fig
8a se ve para el ejemplo anterior: se tabula X
para las combinaciones de B y A, o sea no se
tabula C. Como X es dependiente de C, sta
aparece en la columna de X.
Cmo se genera esta tabla reducida?

a)

fig.8

b)

En la tabla completa (fig. 7) se marcaron con un mismo smbolo los renglones en los que la variables
B y A toman los mismos juegos de valores. Dichos renglones corresponden a los dos valores de la
variable restante, C. El smbolo / se coloc cuando BA = 00 (renglones 0 y 3). En ambos renglones
la funcin X vale cero, por ello la Tabla reducida tiene ese valor en el rengln BA = 00. Algo anlogo
sucede en los renglones 1 y 4. Pero en el caso de los renglones 2 y 6 (marcados **) la funcin vale
0 cuando C=0 y vale 1 cuando C=1, es decir, X coincide con C. Por esta razn, en la tabla reducida
no se coloca un estado lgico sino la variable C. Algo anlogo sucede en los renglones 3 y 7.
Otra forma de presentar una Tabla de Verdad es mediante una de doble entrada, denominada Mapa
de Karnaugh (fig.8b). Los renglones pasan a ser celdas y se las numera segn las variables
ordenadas utilizando una codificacin contnua (Gray). Ya se vern los motivos de hacerlo as.

FUNCIN DE FUNCIONES: Suma de Minitrminos

Se definen los Minitrminos o mintrminos como aqullos
productos en que intervienen todas las variables de la
funcin. Se llaman tambin productos cannicos. Por ser
productos y tener todas las variables, los minitrminos
tendrn una TdeV con un nico 1. Con n variables se pueden
n
obtener 2 minitrminos.

Expresin de una funcin a partir de su Tabla de Verdad

Producto

Vale 1 slo si

cannico

C.B.A

P0

C.B.A
C.B.A

P1

P2

C.B.A

P3

C.B.A

P4

C.B.A

P5

C.B.A
C.B..A

P6

P7

A partir de la Tde V que se ilustra, se va a buscar un camino

para obtener la expresin de la funcin lgica X. En base a lo hecho para
tabular la funcin Y de la pgina 4 como suma de tablas de funciones
primarias, se puede pensar en descomponer X en tantas funciones
primarias como 1 tenga la tabla de verdad y luego sumarlas.
En la fig.9 a. se ve tal descomposicin. Cada columna lleva el nombre de
cada funcin primaria, que por tener un nico uno, resulta ser un
minitrmino. X ser la suma de los 4 minitrminos representados en cada
columna. Este es un caso de funcin de funciones particular ya que todos
los trminos de la funcin contienen todas sus variables. Se dice que X es
una Suma de Productos cannicos
La expresin literal de la funcin es:

X = C.B.A + C.B.A + C.B.A + C.B.A.

Se puede expresar en forma numrica detallada:

o bien numrica simblica:

X = P1+P3+P5+P6

X = P (1, 3, 5, 6)

Simbologa

C B A
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

X
0
1
0
1
0
1
1
0

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

Cada minitrmino se simboliza Pi (significa

producto i) siendo i el rengln de la tabla
donde el producto se hace uno (rengln
asociado al minitrmino). La expresin
3
simblica dice que X es la sumatoria de P
(productos de 3 variables, numerados entre
parntesis). En la expresin literal
aparecen las variables en su forma normal
si la misma presenta un 1 en el rengln
asociado o bien invertidas si estn en cero
en el mismo.

ALGEBRA DE BOOLE

C
0
0
0
0
1
1
1
fig.9 a 1

B
0
0
1
1
0
0
1
1

Ed. 15

Pg. 6/15

X C.B.A C .B . A C .B . A C .B . A
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
1
0
0
1
0
1
0
0
0
1
0
0
0
0
0

A
0
1
0
1
0
1
0
1

Esta forma obtener X conduce al:

Teorema general de los minitrminos: Toda funcin lgica puede ser expresada como una suma
de minitrminos cada uno de ellos asociado al rengln de la Tabla de Verdad en que la funcin vale 1
Corolario: Una funcin que sea la suma de los 2n minitrminos vale 1

Producto de Maxitrminos

Suma

Se definen los maxitrminos como aquellas sumas en que

intervienen todas las variables de la funcin. Se llaman
Sumas cannicas. Una funcin lgica de n variables podr
tener hasta 2n maxitrminos. Considerando que la suma
lgica es una operacin cuya TV tiene un nico cero, lo
mismo se aplica a un maxitrmino.
Se puede obtener una expresin de X estudiando los
casos en que X= 0, tomando cada uno de los maxitrminos
asociados y haciendo el producto entre ellos. (cualquier
combinacin de variables que corresponda al rengln de
un maxitrmino sumadas dan un valor 0 y un producto
donde intervenga dar 0). Sea la funcin de la fig. 9b
Su expresin literal es:

X = (C + B + A).(C + B + A).(C + B + A).(C + B + A)

La expresin numrica es
o numrica simblica

X =S0.S2.S4.S7

X = S (0, 2, 4, 7)
3

Vale 0 slo si

cannica

C+B+ A
C+B+A
C+B+A
C+B+A
C+B+A
C+B.+A
C+B+A
C+B+A

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

Simbologa

S0
S1
S2
S3
S4
S5
S6
S7

fig.9b
C
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1

X C+B+ A C+B+A C+B+A C+B+A

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

Cada maxitrmino se simboliza Si (sumando i) siendo i el rengln de la tabla donde el sumando se

hace cero (rengln asociado al maxitrmino). La expresin simblica dice que X es la productoria de
3
S (sumandos de 3 variables numerados entre parntesis). En la expresin literal aparecen las
variables en su forma normal si la misma presenta un cero en el rengln asociado o bien invertidas si
estn en uno en el mismo.
Lo sealado ms arriba conduce al enunciado del:
Teorema general de los maxitrminos: Toda funcin lgica puede ser expresada como un
producto de sumas de maxitrminos, cada uno de ellos asociado al rengln de la Tabla de Verdad en
que la funcin vale 0
Corolario: Una funcin que sea el producto de los 2n maxitrminos vale 0

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 7/15

Notar que la redaccin de cada uno de los prrafos anteriores que aparecen coloreados se puede
obtener aplicando dualidad en la redaccin del otro.

FUNCIN DE FUNCIONES CON DIAGRAMAS DE VENN

Sea

el

caso

de

la

funcin

Y = C. A + B. A + C. B. A
En fig.10 se ven 3 conjuntos tres de
cuyas intersecciones representan los 3
productos de la funcin Y. La fig.11
muestra la gnesis del producto de dos
variables si una est negada.
La
representacin de los tres productos y
su suma se muestra en la fig.12.

C.A

fig.10

fig.11

En general, para 3 variables, los 8 mintrminos

que se pueden formar vistos en un Diagrama
de Venn se muestran en la figura 13.

B.A

C.B.A

fig. 12

fig 13

SIMPLIFICACIN DE FUNCIONES: MINITRMINOS ADYACENTES

P0
P1
P2
P3
P4
P5
P6
P7

C
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1

Y
0
1
0
1
0
1
0
1

Las funciones lgicas se pueden expresar de varias formas:

Y = P1 + P3 + P5 + P7

(forma numrica de Y)

Y = C.B.A + C.B.A + C.B.A + C.B.A

(forma cannica de Y)

Y = C.A.(B + B) + C.A.(B + B) = C.A + C.A

Y = A.(C + C)& Y = A

FORMA SIMPLIFICADA

BA
Cmo localizar Minitrminos adyacentes

00 01 11 10

Mediante Mapas de Karnaugh

Los minitrminos adyacentes en el Mapa K son los que estn

en celdas separadas por un lado (1y3, 1y5, etc). Las opuestas
por el vrtice no son adyacentes (1y7, 3y5).

C.B.A

C.B.A

C.B.A C.B.A

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 8/15

Pero siendo adyacentes 3y7 y 5y7, determina que los cuatro

formen un grupo de adyacencia. Esos grupos de adyacencia
tendrn siempre una geometra particular en el Mapa K:
formarn cuadrados, rectngulos o figuras simtricas, todos
n
con 2 unos.
Mediante los diagramas de Venn
En los diagramas de Venn, los minitrminos adyacentes se
representan como sectores separados por un segmento de
curva; no lo son los que comparten slo un vrtice.

Mapas de Karnaugh como Diagramas de Venn

Una variable se represent como un conjunto circular, pero se puede hacer tambin como rectngulo.
Se ver una representacin de este tipo en diversos Mapa K en funcin de su tamao. Se tomar al
Mapa como el Universo. Como una variable vale 0 1 (la nada o el Universo) y a+/a = 1, se concluye
que cada una y su negada ocupan todo el Mapa, con sendas mitades.
A
B

BA

BA

00 01 11 10

00 01 11 10

BA
C

00 01 11 10

A
BA
DC

00 01 11 10

00

BA
DC

00 01 11 10

00

01

00 01 11 10

00

01

BA
DC

00 01 11 10

00

01

BA
DC

01

11

11

11

11

10

10

10

10

Identificacin de Minitrminos Adyacentes en el Mapa de Karnaugh

BA
C

00 01 11 10

1
1

0
1

BA
C

BA

00 01 11 10

00

1 1

01

C.A

B.A

DC

00 01 11 10

1 1
1 1

BA
DC

DC

00 01 11 10

00
01
11

BA

01

11

11

10

10

DC

00

1
1

1
1

10

DC

00

01

01

11

11

10

C.A

00 01 11 10

BA

1
C.A

10

00 01 11 10

1
1
1
1

1
1
1
1
A

1
1
1
1

00

D.A
BA

00 01 11 10

C.B.A
BA
DC

00

00 01 11 10

1 1

1 1

1 1

1 1

01
11
10

C.B.A

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 9/15

SIMPLIFICACIN DE FUNCIONES: en dos niveles como Suma de Productos

Se presentan algunos ejemplos de agrupamientos de minitrminos para formar implicantes. Cada uno
de stos se denomina con las variables en comn que tiene cada minitrmino que lo integra. La suma
de esos productos da la expresin de la funcin simplificada (aparecen en ella de izquierda a derecha
segn aparecen en el Mapa K y en algunos casos se indican con flechas).
BA
C

BA

00 01 11 10

1
1

0
1

1
1

1
1

0
1

1
1

BA

BA

1 1
1

1
1

1
1

0
1

B.A + C.B + B.A

1
1

0
1

1 1

BA

1 1
1 1

DC

BA

1
1

00 01 11 10

00
01

C+ B
C

11

00 01 11 10

1
1

1
1
1

10

1 1
1 1

1
1
1

D.C.B + D.B.A + D.B.A + D.C.B

A +B

B.A + C.A + B.A

B.A + C.B.A

00 01 11 10

00 01 11 10

00 01 11 10

B.A + C.A
BA

B.A + C.B

00 01 11 10

1 1

1
1

C.A + B.A
C

1
1

00 01 11 10

BA

00 01 11 10

A
BA

00 01 11 10

1
1

B.A + B.A
BA

BA

00 01 11 10

A continuacin se presentan los implicantes primos esenciales: son los que deben aparecer s o s en
la simplificacin pues aportan un determinado minitrmino (aparecen con su celda coloreada).
BA
DC

BA
C

0
1

00 01 11 10

00

1
1

01

1
1

11

10

B.A + C.A + C.B

00 01 11 10

1
1
1
1

1
1

BA
DC

00 01 11 10

1
1 1
1

00

1
1
1

01
11

1 1
1 1

10

B.A + D.B + D.B.A + C.B.A

C.A + C.B + D.B.A

Funciones como Producto de Sumas

Abajo se muestra como implementar una funcin Y agrupando los 0 de la funcin.
BA
DC

00
01
11
10

BA

00 01 11 10

DC

1 1
1 1 1
1
1
1
1
Funcin Y

00 01 11 10

00
01
11
10

1
1

1
1
1
1

Funcin Y

Y = B.A + D.B + D.B.A + C.B.A

BA
DC

00
01
11
10

00 01 11 10

1
1
1
1

1
1

1
1
1

Funcin Y

Y = D.B.A + D.C.B + B.A

Y = D.B.A + D.C.B + B.A

=>

Y = Y = (D + B + A).(D + C + B).(B + A)

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 10/15

El resultado es un producto de sumas y la funcin obtenida puede ser tan simple o ms o menos, que
agrupando minitrmnos. En este ejemplo se obtiene una funcin ms simple.

OBTENCIN DE FUNCIONES EN SU FORMA CANNICA

Recordar que las formas cannicas de una funcin son aqullas en que la misma se expresa como
suma de productos (o producto de sumas) en los que cada factor contiene todas las variables. Estos
factores son denominados factores cannicos o minitrminos (cada uno se expresa como producto de
todas las variables) o maxitrminos (si expresan una suma)

X = C. A + B. A + C.B. A

Sea la funcin X de tres variables:

(1)

Si se multiplica cada trmino no cannico por la variable faltante ms su negada la funcin no se

altera pues equivale a multiplicar por 1 (recordar el 4to. postulado del Algebra de Conmutacin:
neutralidad):
X = C . A.( B + B ) + B . A.( C + C ) + C . B . A

=>>

X = C . B. A + C . B . A + C . B. A + C . B. A + C . B . A
P3

P1

P5

P1

P6

El minitrmino 1 aparece dos veces. Por el Postulado 3 resulta P1 + P1 = P1, con lo que:

X = C . B. A + C . B . A + C . B. A + C . B. A

(2)

que es la expresin cannica de la funcin X.

Y si la funcin es de 4 variables y faltaran dos en un trmino?

Sea por ejemplo

Y = C. A + D.C.B. A

(3)

en este caso se procede en forma anloga pero

cuidando de incluir tantos factores como variables

falten en cada trmino:

Y = C. A.( D + D).( B + B) + D.C.B. A =>> Y = ( D.C. A + D.C. A).( B + B) + D.C.B. A

=>>

=>>

Y = D.C .B. A + D.C .B. A + D.C.B. A + D.C .B. A + D.C .B. A

P11

P9

P3

P1

P11

Y = D.C .B. A + D.C .B. A + D.C .B. A + D.C .B. A

la repeticin de P11 lleva a:

(4)

Funciones cannicas y funciones simplificadas

Si se pregunta si la (3) es la expresin ms simple de la (4), habra que armar un Mapa K y obtener de
ah la expresin ms simple:

\ BA

Agrupando los minitrminos involucrados, se ve en la figura que se

forma un nico implicante, lo que determina que la funcin tendr un
nico trmino :
Y = C. A
Se puede verificar lo antedicho factorizando la expresin (3):

Y = C. A + D.C.B. A

=>

Y = C. A.(1 + D.B)

=>

DC

00
01
11
10

00 01 11 10
1

Y = C. A

Conclusin: una expresin no cannica de una funcin lgica es ms simple que la equivalente
cannica, pero no necesariamente es la expresin ms simple de la funcin.

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

SINTESIS DE FUNCIONES LGICAS:

ALGEBRA DE BOOLE

Ed. 15

Pg. 11/15

CIRCUITOS LGICOS

Como se seal oportunamente, las tcnicas digitales son una manera de procesar informacin. En
los cursos de Ingeniera Electrnica, ella estar representada por seales elctricas y sern
procesadas por circuitos. Esas seales sern binarias que se simbolizan con 1 y 0 y sern
procesadas en un circuito elctrico por medio de distintos tipos de componentes. Los bsicos son las
compuertas lgicas que se presentaron al principio. En los diseos se parte de una especificacin de
la funcionalidad que se quiere obtener de la informacin lgica que se reciba y se pretende de ello
hacer una traduccin a valores lgicos llamados de salida, que representan la conclusin obtenida en
base a lo recibido. La informacin de entrada y salida es procesada en principio por una Tabla de
Verdad, de ella se buscar obtener una expresin lgica lo ms simple posible y el circuito que la
implementa.
Ejemplo: disear un circuito que detecte por una entrada de 4 bits si la palabra binaria recibida
corresponde a un dgito BCD, excepto sus valores extremos (0 y 9), poniendo en alto (1) su salida.

0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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

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

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

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

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

A la izquierda se ve la T de verdad que cumple con lo requerido y ms

abajo los Mapas de Karnaugh correspondiente. Luego se busca
obtener la expresin ms simple, lo que da lugar a los agrupamientos
que se ven. En este caso ambas expresiones tienen el mismo
tamao (cantidad de trminos y cantidad de variables por trmino)

BA
DC

00
01

BA

00 01 11 10

DC

00

01

11

11
10

00 01 11 10

10

W = /DC+/DA+/DB+D/C/B/A

W=(/D+/C)(/D+/A)(/D+/B).
.(D+C+B+A)

SIMPLIFICACIN EN DOS NIVELES (KARNAUGH) Y TRES O MAS NIVELES

Las simplificaciones por Karnaugh dan expresiones en dos niveles. Las mismas, no son
necesariamente las ms simples en cuanto a cantidad de trminos que la forman (ni a la
cantidad de compuertas requeridas para implementarlas).
/D
C
/D
A
/D
A
D
/C
/B
/A

C
B
A
/D
D
/C
/B
/A

W = /D.(C+B+A)+D/C/B/A

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 12/15

En la figura superior, ambos circuitos realizan la misma funcin lgica. El de la izquierda surge de una
simplificacin utilizando el mapa de Karnaugh. El de la derecha, cuya expresin se transcribe abajo,
surge de simplificar la expresin obtenida por Karnaugh y da lugar a un circuito con menos
compuertas (una menos), o sea es ligeramente ms simple. No obstante esto, se puede apreciar que
las seales C, B y A tienen que atravesar 3 niveles de compuertas para llegar a la salida, esto es, el
circuito de la derecha si bien es ms simple tambin es ms lento.
Otro caso de simplificacin lgica a posteriori de la hecha por Karnauh se muestra abajo; el circuito
resulta en 4 niveles y mayor cantidad de compuertas, por lo que la misma resulta inconducente:

D
C
/B
D
/C
B
/C
B
A
D
A

C
/B
/C

W = DC/B + DA + D/CB + /CBA

B
A
D
/C
B
A

W = D(C/B+A+/CB)+/CBA

FUNCIONES INCOMPLETAMENTE ESPECIFICADAS: Uso de Redundancias

Son aqullas que no tienen establecido un estado lgico definido para una o ms combinaciones de
las variables de entrada (aunque pueden adoptar slo uno de los dos estados lgicos) debido a una
de dos posibilidades:
a) no interesa el valor o estado que adopte la funcin para esa(s) combinacin(es) de las variables de
entrada .
b) es imposible que en la realidad se produzca(n) esa(s) combinacin(es) de las variables de entrada.
A travs del siguiente ejemplo se intentar dar una nocin prctica del tema. El sistema de la figura
representa un motor que llena una tanque de agua. El mismo es accionado por una lgica que detecta
los niveles de agua a travs de dos sensores. Se quiere disear una lgica que accione el motor
cuando se vace el tanque (por debajo del nivel A) y lo detenga cuando desborde (supere el nivel B)

1
X
X
0

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 13/15

La tabla de verdad de S va a contemplar las 2 = 4 posibilidades tericas de suceso de las variables

independientes B y A. La realidad del sistema Bomba - Tanque de Agua indica que:
a) no interesa mayormente el estado que adopte la bomba de agua (S) cuando el nivel del tanque est
entre A y B: puede funcionar o no. En un caso (S=1) arranca tan pronto el nivel desciende de B y
para tan pronto lo sobrepasa. En otro (S=0) la bomba no arranca; el nivel descender hasta llegar a
A para comenzar a funcionar y detenerse al llegar a B.
En ambos casos no hay desborde ni
vaciamiento. Se dice que es irrelevante el estado que tome S (rengln BA = 01 >>> S = X).
b) es imposible que en la realidad el agua est por encima de B y por debajo de A. Tambin para este
caso ser irrelevante el valor de S (rengln BA = 10 >>> S = X).
Ejemplo 1: Sea implementar un circuito que lea en su entrada un nmero BCD Natural y active su
salida en Alto cuando dicho nmero sea 3 o mltiplo de 3.

D
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

C
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

Z
0
0
0
1
0
0
1
0
0
1
X
X
X
X
X
X

Las combinaciones 1010 a 1111 no pertenecen al cdigo BCD Natural.

Es esperable entonces que el circuito nunca reciba alguna de ellas en
su entrada. Se dice entonces que "no importa" el valor de la salida Z
para esas combinaciones de estados de las variables de entrada.
Se simboliza esta situacin con una X en la tabla de verdad, que
refiere a que "da lo mismo" o "no importa" si Z ser cero o uno. En la
jerga tcnica se utiliza la expresin en ingls "don't care" (no
preocupa). Tambin se las denomina redundancias.
Qu beneficio puede traer que la funcin quede sin especificar?
Para simplificar la funcin, en el Mapa de Karnaugh esas X se pueden
tomar como 1 0 segn convenga para formar implicantes de mayor
tamao y lograr una mayor reduccin en la expresin final de la
funcin.

\ BA

DC

00

01

11

10
D

00

01
11
10

1
X

A
D
C
B
D
C
B

Z = D.A + C.B.A + C.B.A

USO DE "DON'T CARE" PARA ABREVIAR ENTRADAS DE TABLAS DE VERDAD

Cuando para todas las combinaciones de estados posibles de n variables de entrada, la funcin
presenta un mismo valor o estado (incluso si es un X), se puede abreviar la escritura de la tabla de
verdad reemplazando los estados de las variables que se combinan por X en un slo rengln,
eliminando los restantes que contienen las otras 2n - 1 combinaciones.
Ejemplo 2: Dada la funcin Z indicada, escribir una Tabla de Verdad que la exprese con todas sus
variables con la menor cantidad de renglones necesarios.
Z = P4 (1,5,6,7,9,12,13,14,15)

TCNICAS DIGITALES 1

ING. JUAN E. COLLAZO

ALGEBRA DE BOOLE

Ed. 15

Pg. 14/15

Siguiendo los procedimientos ya estudiados se escribe la Tabla de Verdad completa que se ilustra.
En ella se aprecia que en los renglones 2 y 3, 6 y 7, 10 y 11 y los 12 a 15 la funcin Z presenta el
mismo estado lgico para una dada combinacin de variables. Por ejemplo, en 2 y 3, la funcin vale
0 para DCB = 001, o sea, independientemente de A. Equivale a decir, "no importa cuanto valga A",
lo que lleva a formularse una representacin alternativa con el uso de X:
D
0
0
0
0
0
0
0
0
1
1
1
1
1

C
0
0
0
0
1
1
1
1
0
0
0
0

B
0
0
1
1
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1
0
1
0
1

Z
0
1
0
0
0
1
1
1
0
1
0
0

C
0
0
0
0
1
1
1
1
0
0
0
0

B
0
0
1
1
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1
0
1
0
1

Z
0
1
0
0
0
1
1
1
0
1
0
0

D
0
0
0
0
0
0
0
0
1
1
1
1
1

}
}
}

D
0
0
0
0
0
0
1
1
1
1

C
0
0
0
1
1
1
0
0
0
1

B
0
0
1
0
0
1
0
0
1
X

A
0
1
X
0
1
X
0
1
X
X

Z
0
1
0
0
1
1
0
1
0
1

Ejemplo 3: idem anterior para la Tabla de Verdad del Ejemplo 1.

En este caso se va a dar la situacin de que aparecen X en las entradas y en la salida (la funcin)
D

0
0

1
1

1
1

0
1

1
0
0

0
0

1
1

0
0

0
1

0
0
1

0
0

1
1
1
1
1

0
0
1
1
1

1
1
0
0
1

0
1
0
1
0

X
X
X
X
X

}
}

IMPORTANTE:
recordar no
confundir una X en la funcin - que
significa falta de especificacin de
la misma - con las X en las
entradas, que significa escritura
abreviada de renglones.

SIMPLIFICACIN DE FUNCIONES EN CIRCUITOS MULTISALIDA: Implicantes compartidos

Ejemplo: disear un Conversor de Cdigos de BCD Natural a Aiken.
Se escribe la T de V del Aiken. Cada una de sus variables ser una
funcin lgica a crear, esto es una salida del circuito.

D
C
B
A

BCD 2
AIKEN

D'
C'
B'
A'

TCNICAS DIGITALES 1

Natural

ING. JUAN E. COLLAZO

Aiken

DC

A D' C' B' A'

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

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

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

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

1
2
3
4
5
6
7
8
9

0
0
0
0
0
1
1
1
1
1
X
X
X
X
X
X

0
0
0
0
1
0
1
1
1
1
X
X
X
X
X
X

0
0
1
1
0
1
0
0
1
1
X
X
X
X
X
X

0
1
0
1
0
1
0
1
0
1
X
X
X
X
X
X

ALGEBRA DE BOOLE

\ BA

00
01
11
10

00 01 11 10
0
0
X
1

0
1
X
1

0
1
X
X

\ BA

DC

0
1
X
X

00
01
11
10

D' = D + C.B + C.B.A

DC

\ BA
00
01
11
10

00 01 11 10
0
0
X
1

0
1
X
1

1
0
X
X

1
0
X
X

B' = D + C.B + C.B.A

Ed. 15

Pg. 15/15

00 01 11 10
0
1
X
1

0
0
X
1

0
1
X
X

0
1
X
X

C ' = D + C.B + C A

\ BA

DC

00
01
11
10

00 01 11 10
0
0
X
0

1
1
X
1

1
1
X
X

0
0
X
X

D' = A

Cuando hay que disear varias funciones lgicas para un mismo circuito, no siempre se busca obtener
todas las funciones ms simples, si es que existe algn implicante que pueda ser compartido por ms
de una funcin (salida). En este caso
se han resaltado en color un par de
D
C
B
A
celdas
que
corresponden
al
implicante C/BA. Este aparece en
B tal cual, pero en D se podra
agrupar formando un implicante
mayor (CA). Pero hacer esto hara
que la salida D tuviera una
compuerta de 2 entradas y la salida
D
C
B
A
B tuviera otra pero de 3 entradas.
C.B.A
En cambio si se toma para D el
D' = D + C.B + C.B.A
implicante de menor tamao, se
puede usar slo una compuerta que
C.B
genere el trmino C/BA que se
sumar tanto a D como a B,
C' = D + C.B + C A
resultando en un ahorro de una
compuerta.
B' = D + C.B + C.B.A

A'=D