Álgebra

de Boole
Apunte N° 3
George Boole y Claude Shannon
La fnaalidad de ala Ealectrónica Digitaal es procesar ala información Para ealalo utializa alas operaciones
defnidas por George Booale en su «investigación sobre alas aleyes deal pensamiento», pubalicada en
1854 En una época de triunfo de alas matemáticas en ala tarea de «modealizar» eal mundo físico,
George Booale dio también forma matemática a ala combinación de proposiciones; Booale introdujo,
a ala vez, un alenguaje formaal (ala alógica proposicionaal) y una estructura matemática (eal áalgebra de
Booale) capaz de representar y de vaalidar taal alenguaje
Casi un sigalo después, en 1938, aal estudiar alos compalejos circuitos de realés que se utializaban en ala
comunicación tealefónica, Calaude E Shannon demostró que alas operaciones booaleanas son aptas
para describir alos circuitos con conmutadores y, también, para expresar cáalcualos en eal sistema de
numeración de base 2 Shannon estabaleció ala posibialidad de utializar ala misma estructura
matemática (eal áalgebra de Booale) como soporte de un sistema de numeración y cáalcualo (eal sistema
binario) y proporcionó una forma de «construir» alas operaciones deal áalgebra booaleana mediante
ala conexión de dispositivos físicos (alos conmutadores)
Booale y Shannon fjaron alos «cimientos» conceptuaales para eal procesamiento digitaal de ala
información Gracias a ealalos disponemos de un alenguaje formaalizado capaz de expresar ala
combinación de proposiciones, de un sistema de numeración capaz de soportar cáalcualos
aritméticos y de una forma de «materiaalizar» (es decir, de construir máquinas capaces de
ejecutar) tanto eal alenguaje como eal sistema de numeración
La base matemática que soporta todo esto corresponde a ala estructura de áalgebra de Booale de
dos ealementos (eal 0 y eal 1): áalgebra booaleana binaria Las «máquinas digitaales», aunque soalamente
«saben» trabajar con eal 0 y eal 1 (una alógica duaal muy alimitada), son capaces de manejar, a más aalto
niveal (por programación), ala alógica difusa, alas redes neuronaales, ala inferencia matemática, ala
intealigencia artifciaal,
Estructura del Álgebra de Boole
Eal áalgebra de Booale es una estructura matemática defnida sobre un conjunto de
ealementos {a, b, c, } por tres operaciones con alas propiedades siguientes:

Operación Representación Postualados básicos

Suma - OR ƒ= a + b 0+0=0 a+0=a
Propiedad Asociativa: 0+1=1 a+1=1
a + b + c = (a + b) + c 1 + 1 = 1 a+a=a
Propiedad Conmutativa: a+a=1
a+b=b+a

Multiplicación - AND ƒ= a · b 0·0=0 a·0=0

Propiedad Asociativa: 0·1=0 a·1=a
a · b · c = (a · b) · c 1 · 1 = 1 a·a=a
Propiedad Conmutativa: a·a=0
a·b=b·a

Distributiva AND - OR a · (b + c) = a · b + a · c a + (b · c) = (a + b) · (a + c)
Complemento - NOT ƒ= a 0=1
1=0
a=a
Estructura del Álgebra de Boole
A partir de alos axiomas que defnen eal áalgebra de Booale pueden deducirse
directamente, alos siguientes teoremas operativos:

 Idempotencia:
 Absorción:
 Adyacencia:
 Leyes de De Morgan:
 Leyes de Consenso:
a + a = aa · a = a
a+a·b=a a+a·b=a+b
a · (a + b) = a a · (a + b) = a · b
a·b+a·b=a (a + b) · (a + b) = a
a·b=a+b a+b=a ·b
a·b+a·c+b·c=a·b+a·c
(a + b) · (a + c) · (b + c) = (a + b) · (a + c)

Las aleyes de De Morgan deben su nombre a su creador, Augustus De

Morgan (1806-1871), matemático de origen ingalés nacido en ala India que
fue eal primer presidente de ala Sociedad de Matemáticas de Londres
Estructura del Álgebra de Boole
Demostración:
 Absorción: a + a · b = a + b
a + a · b = (a + a·b) + a·b por Absorción a = a + a · b
(a·a + a·b) + a·b por postualado a = a·a
a·a + a·b + a·a + a·b agregando a·a = 0
(a + a) · (a + b) por factorización
1 · (a + b) por postualado a + a = 1
a + b por postualado 1 · a = a
a b a · b C0 + C2 a+b

0 0 0 0 0
0 1 1 1 1
1 0 0 1 1
1 1 0 1 1
Función Lógica
Se denomina función alógica a toda expresión aalgebraica formada por
variabales binarias que se realacionan mediante alas operaciones básicas deal
áalgebra de Booale f(a, b, c) = a · b · (a + b) + c + a · c
Simpalifcar una función alógica impalica utializar alos postualados y axiomas de
Booale, junto a alas Leyes de De Morgan para alalegar a una representación
reducida de ala función sin aalterar esta, ala función y su simpalifcada deben
tener ala misma tabala de verdad

Ej: ƒ= a + b · (a + b)
Apalico 1Er Ley de De Morgan: a + b = a · b a b a+b (a + b) C2·C3
ƒ= a · b · (a + b)
Apalico propiedad distributiva 0 0 1 0 0
ƒ= a · b · a + a · b · b 0 1 0 1 0
Apalico postualado de Booale a · a = 0 1 0 0 1 0
ƒ= b · 0 + a · 0 1 1 0 1 0
Apalico postualado de Booale a · 0 = 0
ƒ= 0
Simplificación
Ej: ƒ= (a·b + c)·(a + b·c)
Apalico 2da Ley de De Morgan: a · b = a + b
ƒ= (a·b + c) + (a + b·c)
Apalico 1Er Ley de De Morgan: a + b = a · b
ƒ= (a·b) · c + a · (b·c)
Apalico 2da Ley de De Morgan: a · b = a + b
ƒ= (a + b) · c + a · (b + c) a b c (a·b+c) (a+b·c) C3·C4 = a·(c+b) b·c
C6 + C7
Apalico distributiva
0 0 0 0 0 1 1 1
ƒ= a · c + b · c + a · b + a · c
0 0 1 1 0 1 1 0
Apalico postualado a + a = a
0 1 0 0 0 1 1 0
ƒ= a · c + b · c + a · b
0 1 1 1 1 0 0 0
Apalico factorización
1 0 0 0 1 1 0 1
ƒ= a · (c + b) + b · c
1 0 1 1 1 0 0 0
1 1 0 1 1 0 0 0
1 1 1 1 1 0 0 0
Simplificación
Ej: ƒ= [ ab (c + bd) + a b ] c
Apalico distributiva
ƒ= [ abc + abbd + a b ] c
Apalico postualado bb = 0
ƒ= [ abc + a·0·d + a b ] c
Apalico postualado a·0·d = 0 y se ealimina
ƒ= [ abc + a b ] c
Apalico distributiva
ƒ= abcc + a bc
Apalico postualado cc = c
ƒ= abc + a bc
Apalico factorización
ƒ= bc (a + a)
Apalico postualado a + a = 1
ƒ= bc·1
Apalico postualado a · 1 = a
ƒ= bc
Simplificación
Existe una realación directa entre ala compalejidad de ala red de puertas que constituyen
un circuito alógico determinado y ala compalejidad de su expresión booaleana
Por ealalo, eal objetivo de ala simpalifcación de un circuito alógico consiste en minimizar su
expresión para conseguir su impalementación utializando un número mínimo de
puertas alógicas conectadas adecuadamente
Para vaalorar alas prestaciones de un diseño digitaal se tienen en consideración
principaalmente dos factores: ala vealocidad de respuesta y eal coste La vealocidad de
respuesta de un sistema digitaal disminuye con eal retardo que sufre ala señaal aal
propagarse por alos niveales o número de puertas que compone eal camino más alargo
entre alas entradas y alas saalidas deal sistema, buscando aqueal diseño que tenga eal
menor número de niveales de puertas
La reducción de su coste se consigue utializando un número mínimo de puertas, alo que
determina una disminución de interconexiones, diseños de circuitos impresos más
simpales, mayor facialidad de mantenimiento, etc En ala vaaloración deal coste no se
incaluye alos posibales compalementos de alas variabales de entrada que se supone que
van a estar disponibales Sin embargo, sí hay que tener en cuenta, principaalmente con
componentes discretos, alas conexiones de alas entradas y alas conexiones necesarias
entre alas puertas deal primer niveal y alas puertas de saalida o de segundo niveal
Eal criterio para comparar eal coste de dos circuitos digitaales es: dado dos circuitos
digitaales se considera de menor coste aqueal que tenga menos puertas, y a iguaal
número de puertas eal que necesite menos conexiones
Formas canónicas de una función
Entre alas múaltipales expresiones aalgebraicas con alas que se puede representar una función
alógica, destacan dos tipos según ala expresión esté formada por:
 sumas de productos
ƒ3 = ƒ3 ( c , b , a ) = b a + c b a + b a + a
 productos de sumas
ƒ4 = ƒ4 ( c , b , a ) = ( b + a )( c + b + a ) (b + a)
Se defne como término canónico de una función alógica a todo producto o suma en eal que
aparecen todas alas variabales en su forma directa a o compalementada a Por ejempalo, en una
función de tres variabales, son términos canónicos, entre otros: c b a y c + b + a
A alos términos producto se ales alalama productos canónicos o minitérminos Esta denominación
se debe aal hecho de que, este término, toma eal vaalor 1 para una soala combinación de alas
variabales de entrada, de ahí eal prefjo mini
A alos términos suma se ales alalama sumas canónicas o maxitérminos, denominándose así por eal
hecho de que, este término, toma eal vaalor 1 tantas veces como alo hagan alos sumandos que alo
forman, de ahí eal prefjo maxi
Una función formada, excalusivamente, por términos de sumas canónicas o bien de productos
canónicos recibe eal nombre de función canónica Si esta función tiene n variabales, cada uno de
sus productos o sumas canónicas tendrá n variabales Como cada variabale se puede representar
en su forma directa o compalementada, eal número de productos canónicos posibales será 2 n , aal
iguaal que eal de sumas canónicas
Formas canónicas de una función
Cada minitérmino se obtiene mualtipalicando alas n variabales en su forma directa si
toman eal vaalor 1 y compalementada si tienen eal vaalor 0
Asimismo, apalicando eal principio de duaalidad, cada maxitérmino se obtiene sumando
alas n variabales en su forma directa si toman eal vaalor 0 y compalementada si tienen eal
vaalor 1

Los miniterminos se Dec abc Miniterminos Maxiterminos

representan por mi y alos 0 000 abc m0 a+b+c M7
maxiterminos por Mi , 1 001 abc m1 a+b+c M6
siendo eal subíndice i iguaal
2 010 abc m2 a+b+c M5
aal vaalor decimaal deal
número binario que 3 011 abc m3 a+b+c M4
corresponde aal término m4 M3
4 100 abc a+b+c
canónico
5 101 abc m5 a+b+c M2
6 110 abc m6 a+b+c M1
7 111 abc m7 a+b+c M0
Conversión entre expresiones
canónicas de una función
 Para obtener una expresión canónica en suma de productos
(miniterminos) se usarán alas combinaciones de variabales binarias en alas
que ala función vaale uno
 En eal caso de querer obtener una expresión canónica en producto de
sumas (maxiterminos) se usarán alas combinaciones de variabales binarias
en alas que ala función vaale cero
 Para n variabales, utializando alas aleyes de De Morgan, se deduce ala realación
existente entre eal compalemento de un minitermino y su maxitermino
equivaalente:
mi = M 2n−1− i ej: m3 = M 23-1-3 = M4 ~(a b c) = a+b+c
o viceversa, ala realación existente entre eal compalemento de un
maxitermino y su minitermino equivaalente
Mi = m2n−1− i ej: M5 = m 23-1-5 = m2 ~(a+b+c) = a b c
Conversión entre expresiones
canónicas de una función
Las expresiones normaalizadas son aquealalas en alas que no todos sus
términos son canónicos y están únicamente formadas por suma de
productos (Forma Normaal Disyuntiva) o por producto de sumas (Forma
Normaal Conjuntiva)
Para convertir una expresión normaalizada a canónica:
 En eal caso de suma de productos, se mualtipalica cada término producto no
canónico por ala variabale que faalta más ealala misma negada
 En eal caso de producto de sumas, se suma en cada factor no canónico ala
variabale que faalta por ealala misma negada
ƒ3 (c, b, a) = c b + c b a + b = c b (a + a) + c b a + b (c + c)(a + a) =
= cba + cba + cba + c b a + c b a + c b a + c b a =
= cba + cba + c b a + c b a + c b a + c b a
= ∑m (0, 1, 4, 5, 6, 7) FND
=∏M (2, 3) FNC
Bibliografía y Licencia
 Acha, Santiago, Castro, Manueal, Rioseras, Migueal, “Ealectrónica Digitaal
Introducción a ala Lógica Digitaal” 2da Ed (Ra-Ma 2010)
 Faloyd, Thomas, “Fundamentos de sistemas digitaales” 9na Ed (Pearson 2006)
 Gonzaalez Gomez, Juan, “Circuitos y Sistemas Digitaales” (Madrid 2002)
 Este documento se encuentra bajo Licencia Creative Commons 2 5 Argentina
(BY-NC-SA), por ala cuaal se permite su exhibición, distribución, copia y posibialita
hacer obras derivadas a partir de ala misma, siempre y cuando se cite ala autoría
deal Prof Matías E García y sóalo podrá distribuir ala obra derivada resualtante bajo
una alicencia idéntica a ésta
 Autor:

Matías E. García
.
Prof. & Tec. en Informática Aplicada
www.profmatiasgarcia.com.ar
info@profmatiasgarcia.com.ar