CIRCUITOS DIGITALES ALGEBRA DE BOOLE J.

Gmez-Garca

Tema 2:

Algebra de Boole
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

VARIABLE LGICA:
Toma valores entre dos posibles (2 estados).
Los dos valores posibles son mutuamente excluyentes.
Ambos valores pueden expresarse mediante sentencias
declarativas.
Ejemplos:
Estado de una bombilla (A) -A = encendido A = apagado
Estado de un semforo (A, excluyendo amarillo) - A = rojo A = verde

Puesto que ambas posibilidades son excluyentes, se dice que

representan estados complementarios:
- Si A = rojo A = no verde, e.d., rojo = verde
Operador de conjugacin (negacin)
-Cambia (conmuta) el estado de una variable
-La doble conjugacin no altera el estado el estado de la
variable: verde = rojo = verde A=A
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCIN LGICA:
Permite calcular o conocer el valor de una variable a partir del valor de otras
variables de las cuales depende.
La dependencia puede expresarse algebraica o mediante una tabla de verdad.
Ejemplo:
Estado de un semforo (A): -A=rojo A=verde
Reaccin de un conductor (B): -B=parar B =continuar

Funcin: Conductor responsable Funcin: Conductor suicida

A B=f1(A) A B=f2(A)
rojo parar rojo continuar
verde continuar verde parar

NOTACIN DE LOS ESTADOS:

La notacin universal para los estados de una variable lgica
cualquiera. Varias opciones:
-Verdadero Falso (V F)
-True or False (T or F)
-1 0 ( Notacin electrnica digital)
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCINES DE UNA VARIABLE:

A B=f0(A)
0 0
B=0
1 0

A B=f1(A)
0 0
B=A
1 1

A B=f2(A)

0 1
B=-A
1 0

A B=f3(A)

0 1
B=1
1 1
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCINES DE DOS VARIABLES:

Pueden definirse 16 funciones diferentes, rellenando con 0 y
1 las diferentes casillas de la tabla de verdad Z=f(A, B):
A B f(A,B)
0 0
0 1
1 0
1 1

Poniendo especial cuidado en que estn presentes todas las

combinaciones de A y B.

Algunas de las 16 funciones de dos variables poseen cierta

importancia y se tratarn a continuacin como casos especiales
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCIN AND: Z=AB (Z=A and B; Z=A y B; Z=AB)

- Z vale 1 solamente cuando A y B valen 1
A B f(A,B)=AB
0 0 0
0 1 0
1 0 0
1 1 1
Tambin denominada producto lgico de variables, su tabla de verdad se parece a una
tabla de multiplicar, pero hay que recordar que se trata de variables lgicas, no de
nmeros naturales.

Es una funcin u operacin conmutativa ya que: AB=BA

A B f(A,B)=AB f(A,B)=BA
0 0 0 0
0 1 0 0
1 0 0 0
1 1 1 1
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Es una funcin u operacin asociativa: (AB)C=A(BC)=ABC

A B C AB (AB)C BC A(BC)
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 1 0 0 0 0 0
0 1 1 0 0 1 0
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 1 0 0 0
1 1 1 1 1 1 1
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCIN OR: Z=A+B (Z=A or B; Z=A o B)

- Z vale 1 cuando A B (o ambos) valen 1
A B Z=A+B
0 0 0
0 1 1
1 0 1
1 1 1
Tambin denominada suma lgica de variables, su tabla de verdad se parece a una
tabla de sumar, salvo en el ltimo caso, pero hay que recordar que se trata de variables
lgicas, no de nmeros naturales.

Es una funcin u operacin conmutativa ya que: A+B=B+A

A B f(A,B)=A+B f(A,B)=B+A
0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Es una funcin u operacin asociativa:

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

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

0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 1 0 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCIN NAND: Z=not (A and B); Z = AB

- Z vale 0 solamente cuando A y B valen 1
A B Z = AB
0 0 1
0 1 1
1 0 1
1 1 0
Inversa de la funcin AND, segn se ha definido: el nombre es la contraccin de
NOT AND
Es una funcin u operacin conmutativa ya que: AB = B A

A B AB B A
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Y no es asociativa:
( AB )C A( BC ) ABC

A B C AB ( AB )C BC A( BC )
0 0 0 1 1 1 1
0 0 1 1 0 1 1
0 1 0 1 1 1 1
0 1 1 1 0 0 1
1 0 0 1 1 1 0
1 0 1 1 0 1 0
1 1 0 0 1 1 0
1 1 1 0 1 0 1
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCIN NOR: Z=not (A or B); Z = A + B

- Z vale 0 cuando A o B (o ambos) valen 1
A B Z = A+ B
0 0 1
0 1 0
1 0 0
1 1 0
Inversa de la funcin OR, segn se ha definido: el nombre es la contraccin de NOT
OR
Es una funcin u operacin conmutativa ya que: A + B = B + A

A B A+B B+A

0 0 1 1
0 1 0 0
1 0 0 0
1 1 0 0
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Y no es asociativa:
( A + B) + C A + ( B + C ) A + B + C

A B C A + B ( A + B) + C B + C A + ( B + C )
0 0 0 1 0 1 0
0 0 1 1 0 0 1
0 1 0 0 1 0 1
0 1 1 0 0 0 1
1 0 0 0 1 1 0
1 0 1 0 0 0 0
1 1 0 0 1 0 0
1 1 1 0 0 0 0
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

FUNCIN OR Exclusiva Z = A B ;
- Z vale 1 cuando A B (slo uno de ellos) valen 1
A B Z = AB
0 0 0
0 1 1
1 0 1
1 1 0
Parecida a la OR, pero Exclusive-Or = XOR

Es una funcin u operacin conmutativa ya que: A B = B A

A B AB BA
0 0 0 0
0 1 1 1
1 0 1 1
1 1 0 0
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Es asociativa:
( A B) C = A ( B C ) = A B C

A B C A B ( A B) C B C A ( B C )
0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 1 1 1 1
0 1 1 1 0 0 0
1 0 0 1 1 0 1
1 0 1 1 0 1 0
1 1 0 0 0 1 0
1 1 1 0 1 0 1

Demuestra que:
A B = AB + AB
A B = A B = A B = AB + AB
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Doble distributividad:

A( B + C ) = AB + AC
A + ( BC ) = ( A + B )( A + C )

Leyes de Morgan:

AB = A + B
A + B = AB
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

ALGEBRA DE BOOLE:
Definicin:
Conjunto de variables lgicas Z (0 1)
Operadores binarios: OR, AND
Operador unario: NOT
Propiedades:
Cierre Si A,BZA+BZ; ABZ
Elemento Neutro A+0=A; A1=A
Invariante A+1=1; A0=0
Idempotencia A+A=A; AA=A
Conmutatividad A+B=B+A;
AB=BA
Complemento A + A = 1; AA = 0
Involucin
A=A
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

Asociatividad A+(B+C)=(A+B)+C=A+B+C; A(BC)=(AB)C=ABC

Doble A(B+C)=(AB)+(AC)
Distributividad
A+(BC)=(A+B)(A+C)
Leyes de Morgan
AB = A + B; A + B = AB
Teoremas de
simplificacin
A + AB = A1 + AB = A(1 + B) = A1 = A
A(A + B) = (A + 0)(A + B) = A + (0.B) = A + 0 = A
AB + AB = A(B + B) = A1 = A
(A + B)(A + B) = A + BB = A + 0 = A
A + AB = (A + A)(A + B) = 1(A + B) = A + B
A(A + B) = (AA) + (AB) = 0 + (AB) = AB
CIRCUITOS DIGITALES ALGEBRA DE BOOLE J. Gmez-Garca

ALGEBRA DE CIRCUITOS:
Los circuitos sencillos contienen:
Una bombilla
Una fuente de alimentacin
Uno o varios interruptores
y estos pueden describir el lgebra de Boole.

Estado de la bombilla: Z=1 (encendida); Z=0 (apagada)

Estado del interruptor: A=1 (cerrado); A=0 (abierto)

Z=A Z=AB Z=A+B