UNIVERSIDAD FERMIN TORO

DEPARTAMENTO DE MATEMTICAS
ESTRUCTURAS DISCRETAS II
ING. MSC. ADRIANA BARRETO

ALGEBRAS BOOLEANAS

1. lgebra de Boole, Propiedades y Representacin.

Un retculo acotado y distributivo B en el que cada elemento tiene un complemento se

llama un lgebra de Boole

NOTA. Al complementario de un elemento a lo denotaremos por .

PROP. En un lgebra de Boole B se verifican:

1) a+b = b+a
2) ab = ba
3) a+(b+c) = (a+b)+c
4) a(bc) = (ab) c
5) a(b+c) = (ab) + (ac)
6) a+(bc) = (a+b) (ac)
7) a+0 = a
8) a+1 = 1
9) a0 = 0
10)a1 = a
11)a+a = a
12)aa = a
13)a+ab = a
14)a(a+b) = a
15)a + = 1
16)a = 0
17)El complementario de es = a
18) = 0
19) = 1
20)a=b =
21) =
22) = +

Dem: Vamos a demostrar 13 y 19. Los dems son parecidos o consecuencia inmediata de la
demostracin y se dejan como ejercicio

13) a+ab = a1+ab = a(1+b) = a1 = a

19) Veamos que es el complementario de a+b, para ello hemos de comprobar que su
producto es 0 y su suma 1
(a+b) = a + b = 0 + b = 0 + 0 = 0 + 0 = 0
(a+b) + = (a+b+ ) (a+b+ ) = (a+ +b) (a+1) = (1+b) (1) = 11 = 1
 PROP. Si A es un conjunto con tres operaciones +, y - cumpliendo las propiedades anteriores
entonces es un lgebra de Boole con la relacin de orden a b ab = a

Dem: Veamos que es relacin de orden

a) Es reflexiva, a a porque aa=a por 12)
b) Es transitiva. Si a b y b c es porque ab=a y bc=b. Por tanto, ac = (ab) c = a(bc) =
ab = a, luego a c
c) Es antisimtrica. Si a b y b a, entonces ha de ser ab = a y ba = b. Como es
conmutativa por 2), ab = ba y, por tanto, a = b
Sean a y b dos elementos de B, veamos que {a,b} tiene como supremo al elemento
a+b. En efecto, es cota superior ya que a(a+b) = a por 14) y, de forma anloga, b(a+b)
= b; de la definicin de tendremos ahora que a a+b y b a+b. Si c es otra cota
superior de {a,b} ser mayor o igual que ambos, por lo que ac = a y bc = b. Por tanto
(a+b) c = ac + bc = a+b, por lo que a+b c. Luego a+b es cota superior de {a,b} y es
menor que cualquier otra cota superior, es decir, es el supremo.
De igual forma se demuestra que ab es el nfimo de {a,b}.
Este retculo tiene mximo que es el 1 e nfimo que es el 0, lo que se sigue de la
definicin de y de las propiedades 7), 8), 9) y 10).
Finalmente, para cada elemento a, existe un complemento que es por 15) y 16).

NOTA. A veces es ms fcil definir las operaciones +, y - que el orden

EJEMPLO:

1) En {0,1} se definen
0+0 = 0, 0+1 = 1, 1+0 = 1, 1+1 = 1
00 = 0, 01 = 0, 10 = 0, 11 = 1
= 1, = 0
es fcil comprobar que cumplen las propiedades anteriores, por tanto forman un lgebra de
Boole cuyo orden viene dado por 0 0, 0 1, 1 1. A esta lgebra de Boole la llamaremos B2.

2) Si n es un nmero natural llamaremos B 2n = sucesiones de n dgitos que sean cada uno 0

1. Las operaciones de +, y - se hacen dgito a dgito como en el ejemplo 1). Es fcil
comprobar que es un lgebra de Boole. El orden viene dado por la siguiente regla:
a1...an b1...bn cada ai es menor o igual que el correspondiente bi
Esto puede reformularse fcilmente mediante la siguiente regla que es ms fcil de
aplicar en la prctica: a1...an b1...bn en todas las posiciones en las que a 1...an tiene un 1,
tambin lo tiene b1...bn.

2. tomo.

Un elemento de un lgebra de Boole a 0 se dice un tomo si bB, b a b=ao

b=0

PROP. Sea 0 a B. a es un tomo no existen b<a y c<a tales que a = b+c

Dem:
Si a=b+c entonces b y c son a. Como a es tomo, b=a o 0 y c= a o 0. Si fuesen los dos
menores que a, debera ser b = 0 y c = 0. Pero entonces a = b+c = 0+0 =0 lo que no es
posible porque a era distinto de 0.
 Sea b<a y veamos que b=0. Como b+ =1 tendremos que
a = a1 = a(b+ ) =ab + a = b + a .
Como b < a, no puede ser tambin a < a, luego de a a se sigue que a = a y, por
tanto, b < a . Luego b y tendremos que b = b = 0.

PROP. Si a 0 entonces existe un tomo b que es a

Dem. Si a es un tomo ya estara. En otro caso existe un a1<a no nulo.
Si a1 es un tomo ya hemos terminado, en otro caso, existir un a 2<a1 no nulo.
Repitiendo el proceso vamos encontrando elementos cada vez ms pequeos dentro de
a. Como B es finito, este proceso debe detenerse alguna vez, es decir, encontraremos
un ai<a no nulo de forma que no contenga otro elemento no nulo menor, es decir, a
contiene un tomo que es precisamente este ai.

NOTA. Es conveniente observar que si b es un tomo a, entonces no puede ser a

su vez . En efecto, si ba y b , b es cota inferior de {a, }, por tanto ha de ser
inf{a, } = a = 0. Por tanto, b debera de ser 0, lo que no es posible porque los
tomos son no nulos.

PROP. Sean {b1,...,bk} los tomos de B. Entonces b1+...+bk = 1

Dem.- Sea b = b1+...+bk. Si b 1, entonces 0, por lo que habr un tomo bi incluido en ,

pero entonces bi sera a la vez y b (ya que b es la suma de todos los tomos es, en
particular, mayor o igual que cualquiera de ellos), lo que no es posible como acabamos de ver.

PROP. Sea b un tomo y a un elemento de B. Entonces ab es

1) b si b a
2) 0 en otro caso

Dem.- El caso 1) es cierto en general. Si b no es menor que a, sabemos que a b es < b pero,
como b es un tomo, ab tiene que ser 0, ya que el nico elemento menor que un tomo es el
0.

PROP. Sea a un elemento no nulo. Entonces a puede ponerse de forma nica como suma de
tomos y los tomos que aparecen en dicha suma son aquellos que son menores que a.

Dem. Sean {b1,...,bk} los tomos de B. Supongamos que b1,...,br son a, mientras que los
dems no lo son. Como hemos visto, 1 = b 1+...+bk, luego a = a1 = a(b1+....+bk) = ab1+....
+abk.
Por la proposicin anterior, ab1 = b1,...,abr = br, abr+1 = 0,...., abk = 0, por lo que, al sustituir,
tendremos a = ab1+...+abr+abr+1+...,abk = b1+...+br+0+...+0 = b1+....+br, es decir, a es la
suma de aquellos tomos menores o iguales que l.
Si escribimos a como suma de tomos, claramente deben de ser menores o iguales que
a. Adems, no puede faltar ninguno. En efecto, imaginemos que a se puede poner como suma
de tomos que sean todos (por ejemplo) distintos de b 1, a = c1+...+ct En este caso, como b1a,
tendremos que b1 = ab1 = (c1+...+ct)b1 = c1b1+....+ctb1. Pero como los ci son tomos
distintos de b1 en particular no pueden ser mayores o iguales que b 1 y, por tanto, todos los c ib1
deben de valer 0. Por tanto,
 deberamos tener b1 = c1b1+...+ctb1 = 0+....+0 = 0, lo que no es posible porque b 1, al ser un
tomo, ha de ser no nulo.

NOTA. Con esta notacin de tomos, es bastante fcil interpretar la suma, producto
y complementario, llegando a las siguientes reglas:

Sean a = a1+...+ak y b = b1+....+br las expresiones de a y b como suma de tomos,

entonces
a) a+b = suma de todos los tomos que parezcan al menos en una de las dos sumas
anteriores
b) ab = suma de los tomos que aparezcan a la vez en las dos sumas anteriores
c) = suma de los tomos que no aparezcan en la expresin de a como suma de tomos
d) a b todos los tomos menores o iguales que a son tambin menores o igules que b

3. Isomorfismo de un lgebra de Boole.

Dadas dos lgebras de Boole B y B, un isomorfismo entre ambas es una aplicacin f:B B
verificando
a) Es biyectiva, es decir, a cada elemento de B le corresponde exactamente uno de B y
recprocamente
b) a b f(a) f(b)

TEOR (de Representacin de Stone) Si B es un lgebra de Boole con n tomos, entonces

es isomorfa a B2n.

Dem. Sean {b1,...,bn} los tomos de B. Si a es un elemento cualquiera de B, definimos f(a) =

a1...an donde ai vale 1 si bi a y 0 en otro caso.
a) es biyectiva. Efectivamente, a cada elemento de b le corresponde exactamente un
elemento de B2n y, recprocamente, si a1...an es un elemento de B2n, le corresponde el
elemento de B que sea igual a la suma de aquellos bi para los que ai = 1.
b) a b todos los tomos que sean menores o iguales que a son tambin menores o
iguales que b en todos los lugares en que f(a) = a 1...an vale 1, tambin f(b) = b1....bn
vale 1 f(a) f(b)

NOTA. Por tanto, es conveniente conocer bien el lgebra B 2n. A continuacin damos
algunas propiedades suyas

1) 0 = 00...0 y 1 = 11...1
2) Los tomos estn formados por aquellos nmeros a 1...an en los que exactamente un dgito
vale 1 mientras que los dems valen 0, es decir, los tomos son 10....0, 010...0,...,000...01.
3) Si a1...an es un elemento cualquiera, los tomos menores o iguales que l corresponden a
aquellos que tienen un 1 en una posicin en la que a 1...an tambin lo tenga

4. Expresiones Booleanas.

Sean x1,...,xn n smbolos de variable. Una expresin booleana en las variables x 1,...,xn es
cualquier expresin que pueda formarse mediante la repeticin de las siguientes reglas

a) 0 y 1 son expresiones booleanas

b) Cualquier smbolo de variable es una expresin booleana
c) Si e es una expresin booleana, entonces (e) tambin lo es
d) Si e es una expresin booleana, entonces tambin lo es
e) Si e y e son expresiones booleanas, e+e y ee tambin lo son

Las expresiones booleanas son, por tanto, aquellas que pueden formarse con variables y
las operaciones propias de un lgebra de Boole.

Obsrvese que, si E es una expresin booleana en las variables x 1,...,xn, en cuanto

asignemos a cada variable un valor 0 1, obtenemos tambin un valor par la expresin E.

Dos expresiones E y E de las mismas variables que para cualquier valor de las variables
tengan el mismo valor diremos que son equivalentes y, en la prctica, consideraremos que son
iguales.

DEF.- Diremos que E E si para todos los valores para los que E vale 1, la expresin E
tambin vale 1.

DEF.- Diremos que E es ms simple que E si son equivalentes y el nmero de sumas y

productos que aparecen en E es menor que el nmero de sumas y productos que aparece en
E.

Antes de ir ms all, vamos a dar nombre a algunos tipos especiales de expresiones.

DEF.- Sean x1,...,xn variables, una expresin E se dice

a) Un literal si es de la forma xi o i
b) Un monomio si es producto de literales
c) Un monal si es suma de literales
d) Un mintrmino si es un monomio en el que aparecen exactamente una vez cada
variable.
e) Un maxtrmino si es un monal en el que aparece exactamente una vez cada variable
f) En forma si es suma de monomios
g) En forma si es producto de monales
h) En forma normal disyuntiva si es suma de mintrminos
i) En forma normal conjuntiva si es producto de maxtrminos

NOTA. Observemos que si E es un mintrmino, su valor ser 0 excepto en el caso en que

todos los literales que aparecen en l valgan 1, esto es, en el caso en que todas las variables
que aparezcan como xi valgan 1 y las que aparezcan como j tambin o, equivalentemente,
cuando xj valga 0. Una forma fcil de recordar esto es que el mintrmino E vale 0 excepto para
a1...an donde cada ai vale 1 si en E aparece xi y vale

0 si en E aparece i. Para recordar esto, suele denotarse a E por M a, donde a es a1...an en

binario o a = an+2an-1+....+2n-1a1 en base 10.

En particular, una expresin E en forma normal disyuntiva vale 1 exactamente en

tantos casos como mintrminos distintos aparezcan como sumandos suyos y los valores para
los que vale 1 son exactamente aquellos correspondientes a aquellos en los que alguno de
dichos mintrminos vale 1.

TEOR. Sea f:B2nB2 una funcin Booleana. Existe una expresin booleana en n variables que
tiene exactamente el mismo valor que f.
 Dem. Sean a = a1....an, b = b1...bn,..., c = c1....cn los valores de B2n para los que f vale 1. Basta
considerar ahora E = Ma+Mb+...+Mc que, como hemos visto, vale 1 exactamente para aquellos
valores de las variables que coincidan con los valores de a, de b,..., de c. Por tanto E vale
exactamente lo mismo que f en todas las ocasiones.

Por supuesto, una misma funcin f puede representarse por muchas expresiones
distintas, siendo nuestro objetivo buscar de entre todas ellas la ms simple posible.

Dentro de los distintos medios que existen para ello, vamos a ver dos de los ms
usuales, el mtodo de los mapas de Karnaugh y el de Quine-McCluskey

5. Clculo de lgebras Booleanas.

Polinomios Bolanos.

Sean x1,x2,...,xn un conjunto de smbolos que denominaremos Variables

booleanas. Un Polinomio Booleano en x1,x2,...,xn es una xpresin formada por las
constantes 0, 1 y las variables booleanas usando las operaciones booleanas + , . , ;
siguiendo las siguientes reglas:

1. 0, 1, x1, x2, ... , xn son polinomios booleanso.

2. Si P y Q son polinomio bolanos entonces P + Q, P . Q y P son tambin
polinomio bolanos.

Definicin: Dos polinomios bolanos P y Q que tienen las mismas

variables son equivalentes o iguales, y escribiremos P = Q, si uno puede
transformarse en el otro usando las propiedades de una lgebra de Boole.

Los polinomios bolanos tienen interpretacin en el diseo de cierto tipo de

circuitos que se llaman Circuitos Lgicos.

Ejemplo:

Calcule el resultado lgico del siguiente polinomio booleano:

P(x,y) = x. y + x . y

x y P(x,y) = x. y + x . y

1 1 0

1 0 1

0 1 1

0 0 0
 Circuitos Lgicos.

Un Circuito Lgico es una mquina que tiene uno o ms dispositivos de entrada

(inputs) y un solo dispositivo de salida (output).
x1
Circuito
x2 Lgico
...
xn
Todo Circuito Lgico puede ser construido combinando unos pocos circuitos
elementales a los que llamaremos compuertas lgicas (Gates).

COMPUERTA AND

Es una de las compuertas mas simples dentro de la Electrnica Digital la representacin

de este circuito es de dos entradas en adelante y una sola salida, su smbolo lgico y
su tabla de verdad son las siguientes.

TABLA DE VERDAD

A B C

0 0 0

0 1 0

1 0 0

1 1 1

Smbolo Lgico.

En la tabla de verdad anterior se puede ver claramente que la salida C solamente es

1(1 lgico, nivel alto) La salida C es igual a 1 cuando la entrada A y la entrada B son 1. Esta
situacin se representa en el lgebra booleana como: C=A*B o C=AB.

Una compuerta AND puede tener muchas entradas. Una AND de mltiples entradas
puede ser creada conectando compuertas simples en series. Si nosotros necesitamos una
AND de tres entradas y no la tenemos disponible, sera facil crearla con dos compuertas
AND en serie o cascada como se muestra en la siguiente figura:
 Tabla de Verdad

A
B
C
X

0
0
0
0

0
0
1
0

0
1
0
0

0
1
1
0

1
0
0
0

1
0
1
0

1
1
0
0

1
1
1
1

De manera igual al grafico de con dos compuertas en cascada anterior, se puede

implementar circuitos AND de 4 o mas entradas.
COMPUERTA OR.

Es una de las compuertas mas simples dentro de la electrnica digital. Su

representacin es la de la siguiente figura:

TABLA DE VERDAD

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

Se representa con la siguiente funcin booleana:

X=A+B X=B+A

Esta misma compuerta se puede implementar con interruptores como se

muestra en la siguiente figura, donde se puede ver que: Cerrando el interruptor A
"O" el interruptor B se enciende.

COMPUERTA NOT

Cualquier Circuito de una sola entrada X que da como salida el complemento de

X realiza el polinomio booleano P(X) = X

A
A
NOT

Ejemplo:

Disear el circuito booleano que realiza el siguiente polinomio booleano:

P(x,y) = x + x . y
x

x + x . y
x x . y

y
6. Funciones Booleanas.

Una funcin booleana es cualquier aplicacin entre dos lgebras de Boole B y B.

Usando el Teorema de representacin, podemos definir tambin una funcin booleana

como una funcin f:B2nB2m.

Dado que cualquier funcin cuya imagen est en B 2m puede verse como m funciones
que tomen valores 0 1 y que den los sucesivos dgitos de f, a partir de ahora nos
restringiremos a trabajar sobre funciones f:B2nB2.

7. Minimizacin de funciones Booleanas.

MTODO DE QUINE-McCLUSKEY.

Consta de dos pasos, para entenderlos mejor necesitamos la siguiente definicin

Si E es una expresin y M es un monomio menor que l, diremos que M es un implicante de

E. Si, adems, al quitar de M cualquiera de las variables que aparezcan en l (bien como x i o
como i) deja de ser un implicante de E, diremos que M es un implicante primo de E.

Si tenemos una expresin en forma normal disyuntiva, todos los mintrminos que
aparecen en dicha expresin son implicantes suyos. El primer paso de nuestro mtodo consiste
en intentar eliminar de cada uno de dichos mintrminos todos los

posibles productos a fin de obtener una expresin equivalente pero con un nmero menor de
operaciones

La idea para hacer esto se basa en una aplicacin sistemtica de sacar factor comn,
concretamente, si tenemos dos expresiones Mx iN y M N , entonces MxiN + M iN =
M(xi+ i)N = M1N = MN, expresin donde ha desaparecido la variable xi.

Para hacer esto sistemticamente, basta aplicar la siguiente norma:

Si en una expresin aparecen dos monomios de forma que en ambos aparecen las
mismas variables y, adems, la nica diferencia entre ellos es que en uno aparece una variable
xi mientras que en otro aparece i, su suma puede sustituirse por el monomio resultante al
eliminar la variable xi de uno cualquiera de ellos.
 A fin de hacer ms rpido este procedimiento, es conveniente ordenar previamente los
monomios. En esto se basa el primer paso de nuestro mtodo, conocido como mtodo de
Quine.

MTODO DE QUINE.

Se parte de una expresin en forma normal disyuntiva

1) Ordenar los mintrminos por grupos de forma que aparezcan en un mismo grupo los que
tengan el mismo nmero de complementarios y en cada grupo dicho nmero sea cada vez
menor

2) Comparar cada elemento de cada grupo con los del grupo siguiente. Si contiene las mismas
variables y se diferencian solamente en una variable, que aparece en el primero como i y
en el segundo como xi, se marcan los dos monomios y se aade el monomio resultante de
eliminar la variable xi de uno cualquiera de ellos a una nueva lista.

3) Repetir, mientras se pueda, el mismo procedimiento descrito anteriormente con la nueva

lista

4) La expresin buscada es la suma de todos los monomios que aparezcan sin marcar en
alguna de las listas formadas.

Si bien la expresin aportada por el mtodo de Quine es equivalente a la de partida, a

veces puede ser simplificada, ya que puede pasar que no sean necesarios todos los monomios
de todas las listas. Para ello, se necesita el segundo paso de nuestro mtodo. A fin de justificar
su funcionamiento, se necesitan los siguientes resultados

NOTA.- Es fcil comprobar que las expresiones booleanas forman un lgebra de Boole con el
orden dado (siempre que se consideren iguales las expresiones equivalentes). En este caso, los
tomos son aquellas expresiones que valen 1 en un nico caso, es decir, los mintrminos. En
particular, el producto de dos mintrminos distintos vale 0.

PROP. Sea E una expresin puesta como suma de mintrminos y E otra expresin
equivalente como suma de monomios N1+...+Nr. Entonces

1) Los monomios son implicantes de E

2) N2+....+Nr es tambin equivalente a E para cada mintrmino de la expresin de E existe
un monomio de entre N2,...,Nr contenido en l (en el sentido de que, para cada M j existe un
Ni de forma que Mj = NiN, siendo N otro monomio)

Dem.- 1) es evidente. Vamos a ver 2).

Sea Mj un mintrmino de E. Como MjE, EMj=Mj. Como E= N2+....+Nr, tendremos que Mj=
MjN2+....+MjNr. Si ningn Ni contuviese a Mj, todos los productos anteriores seran 0 pero, en
ese caso, Mj sera 0, lo que no es posible
Como para cada Mi existe un Nj que est contenido en l, tendremos que MiNj y, al
sumar, E = Mi N2+....+Nr. Como, por otra parte, N2+....+Nr N1+ N2+....+Nr = E,
tendremos que N2+....+Nr = E.
 El mtodo de McCluskey se basa ahora en lo siguiente:

Supongamos que hemos partido de una expresin de E como suma de mintrminos y, tras
aplicar Quine, tenemos una expresin de E como suma de implicantes primos. Pueden quitarse
algunos de dichos implicantes primos y la suma de los restantes seguir valiendo E siempre que
se cumpla la siguiente condicin:

Para cada mintrmino debe de existir un implicante que est contenido en l

La forma ms usual de llevar a cabo esta tarea es representar la informacin en una

tabla de doble entrada. En las columnas se ponen los mintrminos y en las filas los implicantes
primos. En cada casilla se pone una marca si el implicante de la fila est incluido en el
mintrmino de la columna. Se pueden eliminar tantas filas como se pueda siempre que en cada
columna quede, al menos, una marca.

La tabla del algoritmo anterior suele denotarse como cuadrcula de McCluskey

8. Mapas de Karnaugh.

Este mtodo es solamente vlido para expresiones en las que el nmero de variables es
como mucho 6. A cambio de esta limitacin, su carcter grfico hace que sea el ms usado
para simplificaciones manuales.

En primer lugar, se construye el mapa de Karnaugh correspondiente a la expresin. Para

ello, se empieza construyendo el mapa correspondiente al nmero de variables que contiene la
expresin a simplificar. A continuacin se dan los mapas de 2, 3, 4 y 5 .

En segundo lugar, se sombrea la zona correspondiente a la expresin, que es aquella

formada por los valores para los que la expresin vale 1. Para hacer esto, se van sombreando
consecutivamente las partes correspondientes a cada uno de los monomios. Para cada uno de
ellos, basta sombrear las casillas que cumplan las condiciones impuestas por el monomio. Esto
es, si trabajamos con 3 variables y el monomio es c, entonces hay que sombrear todas las
casillas en las que aparezcan y c. Esto es lo mismo que poner un 1 en todas las casillas en
las que a valga o y c valga 1, como se ve en el siguiente dibujo.

Haciendo esto para todos los monomios se consigue la representacin de la funcin. As, si
la funcin es de 4 variables y vale +acd+ , sombrearemos sucesivamente las casillas
correspondientes a , acd y hasta obtener

A continuacin se recubre la zona marcada con bloques correspondientes a posibles

monomios. Para ello, se usan bloques formados por casillas sombreadas pero que no sean
ampliables, es decir, que si se amplan dejen de estar formados solamente por casillas que
valen 1. Para poder hacer esto es necesario saber identificar los distintos bloques permitidos, o
sea, qu bloques corresponden con algn monomio.

Los ms simples son los bloques formados por una sola casilla, que se corresponden con
los mintrminos. Por ejemplo
representa al mintrmino 0101, es decir b d.

A continuacin aparecen bloques de dos casillas que representan monomios en los que
falta alguna variable. Si estamos en tres variables, monomios con dos variables del tipo ab, a
, , etc. A continuacin dibujamos algunos de estos bloques para 2, 3, 4 y 5 variables

2 variables: Hay 4 monomios que son a, b, y

3 variables: Hay 12 monomios, que son ab, a , ac, a , b, , c, , bc, b , c y

. Vamos a dibujar algunos
Son bloques de dos que aparecen usualmente uno al lado del otro. En el siguiente dibujo
aparecen marcados los bloques (en vertical) y ab (en horizontal).

Pero hay dos casos especiales. Por la forma de dibujar la tabla, la posibilidad de c=0
aparece partida en dos partes, correspondientes a las columnas 1 y 4. Por tanto hay dos
bloques de 2 que corresponden a y a son
 4 variables: Hay 32 posibilidades. Cada uno de estos monomios corresponde a un bloque
de 2 cuadrados cada uno. Pueden darse varios casos

Caso 1: 2 cuadrados formando una fila o una columna. De estos hay 24. A continuacin
dibujamos algunos. El bloque horizontal es c y los bloques verticales

son b y a c

Tambin pueden aparecer partidos en dos, tanto en horizontal como en vertical. De

estos hay 8 de los que dibujamos a continuacin b (en horizontal) y d (en vertical)

Cuando faltan dos variables, pasamos a bloques de cuatro casillas, que ya solamente tienen
sentido para 3 y 4 variables. Una vez ms el comportamiento es un poco complejo por la
posibilidad de que aparezcan partidos dichos bloques

3 variables
Hay 6 bloques posibles. De ellos 5 aparecen sin partir, bien como una fila o bien como un
bloque 2x2. A continuacin dibujamos dos de ellos correspondientes a a (en horizontal) y b (en
vertical)
Tambin hay un bloque partido que corresponde a

4 variables

Hay 24 bloques que pueden estar formando una fila, una columna o un bloque 2x2 como los
siguientes que corresponden a b (en horizontal), c (en vertical) y bd (bloque central)

Tambin pueden estar partidos en dos partes en horizontal o vertical. De estos hay 6.
Dibujamos a continuacin dos de ellos correspondientes a y b
Finalmente hay un nico caso que est partido en cuatro trozos y corresponde a

Finalmente, si quitamos tres variables aparecen bloques de 8 cuadrados. Esto solamente ocurre
en 4 variables, de los que hay 8.
Estos pueden aparecer como un nico bloque de 8 cuadrados. De estos hay 6. A continuacin
dibujamos dos de ellos correspondientes a (en horizontal) y d (en vertical)
Tambin hay otros dos bloques de 8 partidos en dos bloques de 4 que corresponden a (en
horizontal) y (en vertical)

A la hora de interpretar un bloque basta escribir el producto de aquellas condiciones

que cumplan todos los cuadrados que lo integran. Es decir, si para todos esos cuadrados a vale
0, se escribe , si para todos ellos b vale 1 se escribe b, etc. El bloque corresponde al producto
de esas condiciones comunes.

Todos los bloques que puedan escribirse dentro de la zona sombreada correspondiente
a la funcin son implicantes de dicha funcin. Los implicantes primos se corresponden con
bloques que sean lo mayores posibles, es decir, bloques que no estn includos en otro mayor.
Por tanto, el paso de Quine se puede hacer grficamente seleccionando estos bloques que no
se puedan ampliar. Finalmente, dado

que queremos sombrear una determinada zona, el paso correspondiente a la cuadrcula de

McCluskey consiste en quitar alguno de estos bloques correspondientes a los implicantes
primos solamente si, despus de retirarlos, sigue estando sombreada toda la zona
correspondiente a f.

Por tanto el mtodo se queda resumido en:

1.- Dibujar la cuadrcula correspondiente al nmero de variables de la funcin

2.- Sombrear la zona correspondiente a la funcin

3.- Recubrir dicha zona con bloques que sean lo mayores posible

4.- Si se puede quitar algn bloque de forma que la zona cubierta siga siendo la misma,
hacerlo

5.- La expresin simplificada de f se corresponde a la suma de los monomios

correspondientes a los bloques que queden