lgebra de Boole

ElectrnicaDigital
Ing.RicardoF.Maldonado

2017
 Unidad 4

lgebradeBoole

SistemasproposicionalesdeHuntintong.

Abordaje de soluciones a problemas

aplicandoellgebradeBoole.
Anlisis, descripcin e identificacin de

casos en los que se aplica el lgebra de

boole.

Expresionesbooleanas
 Referencias
En 1854 G. Boole present un tratamiento sis-
temtico de la lgica y desarrollo para este prop-
sito un sistema algebraico.
En 1938 Shannon introdujo un lgebra booleana
de dos valores denominada lgebra de relay, de-
mostrando que las propiedades de los circuitos
con relays, podan representarse con ese lgebra.
En 1904 Huntington permiti definir formalmen-
te el lgebra
 Un lgebra

Es un sistema matemtico deductivo en el que

puede definirse un conjunto de elementos, un
conjunto de operaciones partiendo de una serie de
axiomas o postulados
El sistema booleano es una estructura algebraica
definida en un conjunto de elementos mas dos
operaciones siempre que cumpla los 6 postulados
de huntington.
 Sistema Axiomtico
Un axioma, es una "verdad evidente" que no
requiere demostracin; es admitida y sobre la que
se construye el resto de conocimientos.
En S.A. se postulan mediante premisas que no se
deducen entre si ni son contradictorias

a IV
a I Axioma II xiom
om Ax A
xi iom
A
aI
II
CONSISTENTE INDEPENDIENTE
 TEOREMAS
Es una afirmacin demostrada como verdadera dentro de
un sistema lgico como el axiomtico

MODELO
Teorema 3
Teorema 1 Teorema 5
Teorema 2 Teorema 4

I a IV
m aAxiomaAII
x xi om
xio iomA
A aI
II
 Postulados de Huntington

Se puede construir un lgebra con un

Conjunto de Elementos

C= a, b, c, ...

entre los que se puede definir Operaciones

simbolizadas con @ y #
 Postulados de Huntington

1.- El conjunto C es cerrado respecto a las

operacio-nes @ y # que fueron definidas
Dado dos elementos de C, al operar se obtiene un
elemento nico que tambin pertenece a C

a y bC a@ bC y a # bC
 Postulados de Huntington

2.- El conjunto es conmutativo respecto a ambas

operaciones.

a y bC a@b=b@a y a #b=b # a
 Postulados de Huntington

2.- Las operaciones definidas son distributivas

entre si.

a;b y cC
a@(b #c)=a@ b#
y a #(b@ c)=a #b@ a #c
 Postulados de Huntington

4.- Existe un elemento Identidad en el conjunto C

para cada uno de los operadores
En una operacin, un elemento identidad es aquel
que cumple con la siguiente propiedad

a y I C a@ I @=a y a# I #=a
 Postulados de Huntington

5.- Para cada elemento del conjunto existe otro

elemento que al aplicarle una operacin se
obtiene el elemento identidad de la operacin
opuesta

a ; I # y I @ C
a @ a@=I # y a # a#= I @
 Ejemplos de Conjuntos
lgebra de conjuntos cuyas operaciones se
representan con los diagramas de Venn
Operaciones U unin y interseccin

U
Verifican los postulados de Huntington?
P1 Conjunto cerrado
P2 Ley conmutativa
P3 Ley Asociativa
P4 Elementos Neutros
P5 Elemento Complemento
 Ejemplos de Conjuntos

lgebra Proposicional
Proposicin: enunciado declarativo que afirma algo de
forma categrica y se le asocia la propiedad de ser
VoF
Operacin CONJUNCIN combinando dos proposi-
ciones con la palabra y
Operacin DISYUNCIN combinando dos proposi-
ciciones con la palabra o
 Ejemplos de Conjuntos

p = hay 25 alumnos en el aula

q = los alumnos son de boca
p y q = hay 25 alumnos en el aula y los alumnos
son de boca
p q R p q R
F F F F F F
F V F F V V
V F F V F V
V V F V V V
 Ejemplos de Conjuntos
Tautologa: Son las composiciones de preposiciones cuyo
resultado siempre es Verdadero sin importar la veracidad de
ellas.

Contradiccin: Son las composiciones de preposiciones cuyo

resultado es falso sin importar el nivel de verdad de las
proposiciones que la componen.

P o V = Tautologa P y F = contradiccin

la palabra no define el complemento de una preposicin

p = llueve p o q = Tautologa
q = no llueve p y q = Contradiccin
 Ejemplos de Conjuntos

Lgica de contactos:
Elementos: circuitos de contactos

Normal Abierto Normal Cerrado

La operaciones con estos circuitos pueden ser P y S

S = serie
P = paralelo
 lgebra de Boole
Elementos 0 y 1 (abstraen acontecimientos de la realidad)
Operaciones OR + y AND * similares a las
lgicas de Disyuncin y Conjuncin
0+ 0 0 0* 0 0
0+ 1 1 0* 1 0
1+ 0 1 1* 0 0
1+ 1 1 1* 1 1
El inversor NOT | para cada elemento no es una
operacin
 Postulados de Huntington

6.- Para un lgebra de boole los elementos son

dos siempre que cumpla las siguientes
propiedades

C= { a , b } ab
 Teoremas sin demostracin
T1: Principio de Dualidad: Dada una expresin, si
se intercambian las operaciones y los elementos
neutros, se obtiene una igualdad.
T2: La operacin de un elemento y el elemento
neutro de la otra operacin, se obtiene como
resultado ese elemento neutro
a+1=1 a*0=0
T3: Si se aplica las operaciones de un elemento por
si mismo, se obtiene el mismo elemento.
a+a=a a*a=a
 Teoremas sin demostracin
T4: Ley de Absorcin
a+(a*b)=a a*(a+b)=a

T5: Ley Asociativa

a+(b+c)=(a+b)+c a*(b*c)=(a*b)*c

T6: Si se niega dos veces una variable se obtiene la

misma variable
a=a
 Teoremas sin demostracin

T7: Ley de DeMorgan a = a

T8: Teorema de la adyacencia lgica
ab+ab=a
a+ba+ b=a
 Teorema de DeMorgan

( A+ B)= AB
( A+ B)( A+ B)= AB( A+ B)
X X =( ABA)+( ABB)
0=( AA)B+ A( BB)
0=0B+ A0
0=0
 Funciones del lgebra de Boole

Una
Unafuncin
funcinbooleana
booleanaes esuna
unavariable
variablebinaria
binariacuyo
cuyovalor
valor
se
seobtiene
obtienede
deuna
unaexpresin
expresinen
enlalaque
quese
serelacionan
relacionan
variables
variablesbinarias
binariaspor
pormedio
mediode
deoperaciones
operacionesbsicas.
bsicas.

Variable
VariableLgica
Lgica
es
esuna
unaentidad
entidadlgica
lgicaque
querepresenta
representaun
unacontecimiento
acontecimiento
fsico
fsicoque
quepuede
puedeasumir
asumirdos
dosestados
estadosdefinidos
definidosyyposibles.
posibles.
 Ejemplos

Motor elctrico Sensor ptico Sensor de

de presencia presencia

Pulsador switch Vlvula Solenoide

neumtica
 Funcin Booleana

z = f (a,b,c)
Si
Sien enuna
unaexpresin
expresinintervienen
intervienenlas
lasvariables
variablesa,
a,bbyyc,c,
eleltrmino
trminosuma
sumaooproducto
productoque
queest
estexpresado
expresadoporpor
estas
estasvariables
variablesse
sedenomina
denominaCANNICO
CANNICO
Si z = f (a,b,c)

Entonces abc o a +b+ c son cannicos

Minitrmino no as a +b+ c Maxitermino
 Tabla de funcionamiento
A B C Z
0 0 0 X
0 0 1 X Es una tabla que representa
0 1 0 0 una funcin lgica.
0 1 1 1
1 0 0 0 Estado Desconocido o
1 0 1 1 imposible
1 1 0 0
1 1 1 0

Una
Unafuncin
funcinlgica
lgicatiene
tieneuna
unanica
nicaTV
TVpero
perouna
una
TV
TVpuede
puederepresentar
representarvarias
varias funciones
funciones
 Teorema
Toda funcin del lgebra de boole puede ser
expresada como
f (a , b , c)=af (1, b , c)+a f (0, b , c)o
f (a , b , c)=a+ f (0, b , c)a f (1, b , c)
Si a=0 f (a , b , c)=f (0, b , c)
Si a=1 f (a , b , c)=f (1, b , c)
af (a , b , c)=af (1, b , c) y
af (a , b , c)=af (0, b , c)

(a+ a) f (a , b , c)=af (0, b , c)+af (1, b , c)

 Ejemplo

f (a , b , c)=abc+ a(b+ a c+a b c)

f ()=abc +a b+a a c +a b c

f ()=a(1 bc +0 b+1 0 c+0 b c)+ a(0 bc +1 b+0 1 c +1 b c)

f ()=a(bc +0+0)+ a(1 b+1 b c)

f ()=abc +a b+b c
 Teorema
f(a,b,c) = a*f(1,b,c) + |a*f(0,b,c) =>

f(1,b,c) = b*f(1,1,c) + |b*f(1,0,c) y

f(0,b,c) = b*f(0,1,c) + |b*f(0,0,c) y a su vez

f(1,1,c) = c*f(1,1,1)+ |c*f(1,1,0)

f(1,0,c) = c*f(1,0,1)+ |cf(1,0,0)
f(0,1,c) = c*f(0,1,1)+ |c*f(0,1,0)
f(0,0,c) = c*f(0,0,1)+ |c*f(0,0,0)
 Teorema
f(a,b,c) = a*f(1,b,c) + a*f(0,b,c) =>

f(a,b,c) = abf(1,1,c) + abf(1,0,c) +

ab*f(0,1,c) + a b*f(0,0,c)

f(a,b,c) = a b c f(1,1,1) + a b c f(1,1,0) +

a b c f(1,0,1) + a b c f(1,0,0) +
a b c f(0,1,1) + a b c f(0,1,0) +
a a c f(0,0,1) + a b c f(0,0,0)
 Teorema
Se demuestra que toda funcin puede transformarse
en una funcin cannica
Es la suma de todos los productos cannicos
afectado de un coeficiente calculado del valor de la
funcin al sustituir cada variable por 0 o 1 segn en
el producto cannico las variables figuren como
directa o inversa
f(a,b,c) = a b c f(1,1,1) + . . . + a b c f(0,0,0)

f(a,b,c) = [a+b+c+ f(0,0,0)] * . . . * [a+b+c+ f(1,1,1)]

 Consecuencia del Teorema
Se enumeran las filas de la T.F.
Cada fila se corresponde a un trmino cannico

f (a , b , c)=abc f (1,1,1)+ab c f (1,1,0)+... ab c f (0,0 ,0)

f (a , b , c)=abc f (7)+ab c f (6)+... a b c f (0)
a b c z
los valores de f (i) son los coeficieentes y 0 0 0 0 X
corresponden al valor de la salida 1 0 0 1 X
De modo generl esto se expresa : 2 0 1 0 0
n
3 0 1 1 1
2 1
4 1 0 0 0
f (a ,b , c)= PC i f (i) 5 1 0 1 1
i=0
6 1 1 0 0
para la T . F . esto es 7 1 1 1 0
f (a ,b , c)=PC 31+ PC 51= a bc +a b c
f (a ,b , c)=SC 2 +0SC 4 +0SC 6 +0SC 7 +0
f (a ,b , c)=a+ b+ca+b+ca+ b+ca+ b+ c
 Consecuencia del Teorema
f a , b , c=[ abc f 0,0,0][abc f 0,0 ,1]...[ a b c f 1,1,1]
f a , b , c=[ abc f 0][ab c f 1]...[ a b c f 0]

n
2 -1 n
f(a,b,c) = P [i + f(2 -1-i)]
i=0

f(3) = S (3,5) Modo simplificado

Suma de productos cannicos.

f(3) = P (2,4,6,7) Modo simplificado

Productos de sumas cannicos.
 Equivalencia S - P

Dado f(3) = S (0,2,5)

f(3) = g(3) = S (1,3,4,6,7)

g(3) = S (1,3,4,6,7)
Equivalencia S - P

Por De Morgan la S = P

g(3) = P (1,3,4,6,7)
g(3) = f(3) = P (1,3,4,6,7)

S (0,2,5) = P (1,3,4,6,7)
 Ejemplo
Funcin: Seleccin nica Exclusiva
A B Z
0 0 0 S (1,2) = P (0,3)
0 1 1
1 0 1
1 1 0 A B + A B = (A + B) (A+ B)

Funcin: de Igualdad o Comparacin A B Z

0 0 1
S (0,3) = P (1,2) 0 1 0
1 0 0
A B + A B = (A + B) (A + B) 1 1 1
 Ejemplo

En una extrusora, tiene tres sensores a los

que denominamos a,b y c que controlan la
modulacin de un dampper del soplador de
aire frio tal que.
Se abre cada vez que c est activo y a
desactivado.
Se abre cuando b se activa y c se
encuentra desactivado
 Ejemplo

a b c s
0 0 0 0
0 0 1 1 m1= a b c
0 1 0 1 m2= a b c
0 1 1 1 m3 =a b c
1 0 0 0
1 0 1 0
1 1 0 1 m6 =a b c
1 1 1 0
 Ejemplo

s= a b c + a b c + a b c +a b c
Propiedad distributiva (factor comn) en los trminos 1 y 3

s= a c ( b+b)+ a b c +a b c
Propiedad distributiva (factor comn) en los trminos 2 y 3

s= a c ( b+b)+( a+a) b c
s= a c + b c
Mtodo de Karnaugh
Mtodo de Karnaugh
 Ejemplo
Disear un circuito combinacional que realice la divisin
entre 3 (entera) de un nmero codificado en BCD
- Codificacin Binaria Decimal -.
 Ejemplo
Disear un circuito combinacional que realice la divisin
entre 3 (entera) de un nmero codificado en BCD
- Codificacin Binaria Decimal -.
Preguntas