Expresiones Booleanas

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 21

2.1.

3 Expresiones Booleanas

LA HERRAMIENTA FUNDAMENTAL PARA EL


ANÁLISIS Y DISEÑO DE CIRCUITO
DIGITALES ES EL ÁLGEBRA BOOLEANA.
Álgebra Booleana

 Esta álgebra es un conjunto de reglas matemáticas


(similares en algunos aspectos al álgebra
convencional), pero que tiene la virtual de
corresponder al comportamiento de circuitos
basados en dispositivos de conmutación
(interruptores, relevadores, transistores, etc.)
 Descripción matemática del comportamiento de los
circuitos lógicos, utilizando las funciones básicas.
 Se basa en un conjunto de reglas, leyes y teoremas;
los cuales sirven para reducir las expresiones y
simplificar la implementación de un circuito lógico.
POSTULADOS DEL ÁLGEBRA DE BOOLE

 Postulado 1. Definición.
El algebra Booleana es un sistema algebraico definido
en un conjunto B, el cual contiene 2 o más elementos y
entre los cuales se definen 2 operaciones “operación
OR” (+) y “operación AND” (●), las cuales cumplen
con las siguientes propiedades:
 Postulado 2. Existencia de Neutros.
Existe en B el elemento neutro de la suma,
denominado “cero” (0) y el neutro de la multiplicación,
denominado “uno” (1), tales que cualquier elemento x:

x + 0 =x
x ● 1 =x
 Postulado 3. Conmutatividad.
Para cada x, y en B:
x+y=y+x

x y = yx
 Postulado 4. Asociatividad.
Para cada x, y, z en B

x + (y+z) = (x+y) +z

x (y z) = (x y) z
 Postulado 5. Distributividad.
Para cada x, y, z en B:

x + (y z) = (x+y) (x+z)

x(y + z) =(x y) + (x z)
 Postulado 6. Existencia de Complementos.
Para cada x en B existe un elemento único denotado 𝑥
(también denotado x’), llamado complemento de x tal
que

x+𝑥=1

x𝑥 =0
Teoremas

 Axiomas básicos

0*0=0 1+1=1
0*1=0 1+0=1
1*0=0 0+1=1
1*1=1 0+0=0
0’ = 1 1’=0
0’’=0 1’’=1
Teoremas de múltiples variables

 Ley Conmutativa
x+y=y+x
dual x*y=y*x

 Ley asociativa
x+y+z = x+(y+z)=(x+y)+z
Dual xyz = x(yz) = (xy)z
 Ley distributiva (Factorización)
x(y+z)=xy+xz
Dual x+yz = (x+y)(x+z)

(w+x)(y+z) = wy + wz +xy+xz
Dual wx + yz = (w+y)(w+z)(x+y)(x+z)
xy+xy’=x
Dual (x+y)(x+y’)=x

Consenso
xy+x’z+yz=xy+x’z
Dual (x+y)(x’+z)(y+z)=(x+y)(x’+z)
CIRCUITOS DE CONMUTACIÓN

 Los valores que pueden tomar los switches son sólo


dos: (ON, OFF) o bien (1,0)
 Existencia de neutros. El neutro de la suma, es un circuito abierto (un
switch que siempre está abierto), mientras que el neutro del producto es un
corto circuito (un switch que siempre está cerrado).

 Conmutatividad. Evidentemente las conexiones en serie y en paralelo


funcionan de la misma manera independientemente del orden de
colocación de los switches que interconectan.

 Asociatividad. Las conexiones en serie y en paralelo son asociativas, es


decir, al conectar tres switches en paralelo, no importa cual par se conecte
primero. En forma similar pasa con la conexión de tres switches en serie.

 Distributividad. La conexión serie es distributiva sobre la conexión en


paralelo y la conexión paralelo es distributiva sobre la conexión en serie.
Jerarquía de operaciones

 Se utilizará la notación algebraica utilizada en la


figura anterior, en la cual se supone que cuando en
una misma expresión aparecen sumas y productos
sin usar paréntesis se realiza primero el
producto y luego la suma.
 Cuando se quiere alterar este orden de jerarquía de
operaciones se usan paréntesis para indicar que la
operación que está entre paréntesis se debe realizar
primero.
Teoremas de Demorgan
Teoremas de Demorgan
Teoremas de Demorgan

 Simplifican ecuaciones que tienen inversores en


expresiones de más de una variable.
 Cualquier ecuación se puede implementar
únicamente con compuertas AND, OR y NOT.
 Implican que cualquier ecuación puede
implementarse solamente con NAND o solamente
con NOR.
Teoremas de Demorgan

 Forma generalizada:
[F(x1, x2, …, xn, +,*)]’ = F(x1’, x2’, …, xn’, *,+)
[F(x1, x2, …, xn)]’ = FD(x1’, x2’, …, xn’)
Resumen de Teoremas

Distributiva: x(y+z) = xy + xz
x+yz = (x+y)(x+z)
(w+x)(y+z) = wy + wz + xy + xz
wx + yz = (w+y)(w+z)(x+y)(x+z)
Cubierta: x +xy = x
x(x+y) = x
Combinación: xy + xy’ = x
(x+y)(x+y’) = x
x + x’y = x + y
x(x’+y) = xy
Consenso: xy + x’z + yz = xy + x’z
(x+y)(x’+z)(y+z) = (x+y)(x’+z)
DeMorgan: (xy)’ = x’ + y’
(x+y)’ = x’y’

También podría gustarte