Sistemas digitales

Algebra de Boole

Algebra de Boole
Es un sistema matemtico que permite manejar variables que pueden tomar solamente dos valores posibles (sistema binario). Tambin conocida como algebra lgica. El algebra de Boole se utiliza en el anlisis y diseo de circuitos digitales. Variable Lgica

Representa un suceso o magnitud que toma valores entre dos posibles. Los dos valores se expresan mediante proposiciones. Una proposicin, es una declaracin la cual puede ser verdadera o falsa.
Ejemplo: El interruptor esta cerrado.

Verdadero o falso?

Sistemas digitales

Algebra de Boole

Funcin Lgica Cuando se combinan proposiciones se forman funciones lgicas o proposiciones lgicas.
Ejemplo: Si el interruptor esta cerrado y la ampolleta no est fundida, la ampolleta se encender.
Las dos primeras proposiciones son las condiciones de las que depende la proposicin la ampolleta esta encendida. sta es verdadera slo si las dos primeras lo son. Tabla de verdad
Entrada A Salida S

0 1

0 1

1 Variable (2 combinaciones posibles de entrada)

Una tabla de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.

SA
Funcin lgica

Sistemas digitales

Algebra de Boole

Tabla de verdad
Entrada A Entrada B Salida S

0 0 1 1

0 1 0 1

0 0 0 1

S AB
Funcin lgica

2 Variables (4 combinaciones de entrada)

para que combinaciones prende el foco?. Cul sera la funcin lgica?
Tabla de verdad
Entrada A Entrada B Entrada C Salida S

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

3 Variables (8 combinaciones de entrada)

Sistemas digitales

Algebra de Boole

Operadores lgicos
un operador es un smbolo matemtico que indica que debe ser llevada a cabo una operacin especificada sobre un cierto nmero de operandos (nmero, funcin, vector, etc.). Los operadores lgicos proporcionan un resultado a partir de que se cumpla o no una cierta condicin. Esto genera una serie de valores que, en los casos ms sencillos, pueden ser parametrizados con los valores numricos 0 y 1.

Sistemas digitales

Algebra de Boole

OPERADOR OR (ALTERNATIVA) Alternativa (Opcin entre dos cosas, una, otra o ambas). La operacin OR produce un resultado 1 (verdadero), cuando cualquiera de las variables de entrada (preposiciones) es 1 (verdadera). La operacin OR, genera un resultado de 0 (falso) slo cuando todas las variables de entrada (preposiciones) son 0 (falsa). A B A B

S = A+B
Funcin lgica

Simbologa usual pero no normalizada

Simbologa normalizada (IEC)

TABLA DE VERDAD
A 0 0 1 Circuito elctrico equivalente 1 B 0 1 0 1 S 0 1 1 1
IEC: comisin internacional de electrotecnia

Sistemas digitales

Algebra de Boole

OPERADOR AND (CONDICIN) La operacin And esta relacionada con el trmino condicin y es exactamente igual que la multiplicacin ordinaria de unos y ceros. Una salida igual a 1 ocurre slo en el nico caso donde todas las entradas sean 1. La salida es cero cuando una o ms de las entradas son iguales a 0. A

S
B
Simbologa usual pero no normalizada

A B

S AB
Funcin lgica

Simbologa normalizada (IEC)

TABLA DE VERDAD
A 0 0 1 Circuito elctrico equivalente 1 B 0 1 0 1 S 0 0 0 1

Sistemas digitales

Algebra de Boole

OPERADOR NOT (INVERSIN) La operacin Not esta definida para una sola variable, solo tiene dos posibilidades si la entrada es cero la salida es igual a uno y viceversa.

B A S

SA
Funcin lgica

Simbologa usual pero no normalizada

Simbologa normalizada (IEC)

TABLA DE VERDAD
A 0 1 S 1 0

Circuito elctrico equivalente

Sistemas digitales

Algebra de Boole

OPERADOR NOR La operacin NOR corresponde a la negacin (inversin) de la salida de una operacin OR. La salida ser un 1 solamente cuando todas las entradas sean 0, la salida ser 0 cualquier otro caso.

A
S B
Simbologa usual pero no normalizada

A B

SAB
Funcin lgica

Simbologa normalizada (IEC)

A + -

TABLA DE VERDAD
A 0 0 1 1 B 0 1 0 1 S 1 0 0 0

Circuito elctrico equivalente

Sistemas digitales

Algebra de Boole

OPERADOR NAND La operacin NAND corresponde a la negacin (inversin) de la salida de una operacin AND. La salida ser un 0 cuando todas las entradas sean 1, la salida ser cero cualquier otro caso.

A
S B
Simbologa usual pero no normalizada

&

S AB
Funcin lgica

Simbologa normalizada (IEC)

A
TABLA DE VERDAD
A B 0 1 0 1 S 1 1 1 0

0 0 1 1

Circuito elctrico equivalente

Sistemas digitales

Algebra de Boole

OPERADOR EXOR (ALTERNATIVA EXCLUSIVA) (Opcin entre dos cosas, una, otra pero no ambas). La operacin EXOR produce un resultado 1, cuando un nmero impar de variables de entrada valen 1. La salida es 0 cualquier otro caso. A S B
Simbologa usual pero no normalizada

A
B

=1

S AB
S

S AB AB
Funcin lgica

Simbologa normalizada (IEC)

TABLA DE VERDAD
A 0 0 1 1 Circuito elctrico equivalente B 0 1 0 1 S 0 1 1 0

Sistemas digitales

Algebra de Boole

OPERADOR EXNOR (NOR EXCLUSIVA) La operacin EXNOR corresponde a la negacin de la salida de una operacin EXOR. A B S A B
Simbologa usual pero no normalizada Simbologa normalizada (IEC)

=1

SAB S AB AB
Funcin lgica

B
TABLA DE VERDAD
A B 0 1 0 1 S 1 0 0 1

+ -

0 1 1

Circuito elctrico equivalente

Sistemas digitales

Algebra de Boole

Los operadores lgicos pueden tener ms de dos entradas.

Entradas
m 0 1 2 3 4 5 6 7

Condicin

Alternativa

Impar

Negado de AND

Negado de EXOR

Negado de OR

ABC

AND

OR

EXOR

NAND

EX-NOR

NOR

000 001 010 011 100 101 110 111

0 0 0 0 0 0 0 1

0 1 1 1 1 1 1 1

0 1 1 0 1 0 0 1

1 1 1 1 1 1 1 0

1 0 0 1 0 1 1 0

1 0 0 0 0 0 0 0

Sistemas digitales

Algebra de Boole

Ejemplo de aplicacin de un operador OR Sistema de alarma y deteccin de intrusin. Genera una alarma cuando la puerta o las ventanas estn abiertas.

Sistemas digitales

Algebra de Boole

Ejemplo de aplicacin de un operador AND Un emisor de luz (LED) permanece encendido mientras el nivel de dos tanques sea superior a un 25%.

Sistemas digitales

Algebra de Boole

Ejemplo de aplicacin de un operador NOR Controlar que los trenes de aterrizaje de un avin se encuentran desplegados. Cuando un tren de aterrizaje se extiende, el sensor correspondiente genera una tensin a nivel BAJO. Una salida a nivel ALTO enciende el LED verde. Una salida a BAJO nivel enciende el LED rojo.

Sistemas digitales

Algebra de Boole

Postulados del algebra de Boole

1)

2)

Sistemas digitales

Algebra de Boole

3)

4)

Sistemas digitales

Algebra de Boole

5)

6)

Sistemas digitales

Algebra de Boole

7)

8)

Sistemas digitales

Algebra de Boole

9) 10) A AB A

A
NOT NOT

11) A AB A B 12) (A B)(A C) A BC

Sistemas digitales

Algebra de Boole

Leyes bsicas del algebra de Boole

Leyes bsicas del lgebra de Boole: Leyes conmutativas de la suma y multiplicacin. Leyes asociativas de la suma y multiplicacin. Ley distributiva. Son las mismas que las del lgebra ordinaria. Leyes Conmutativas El orden en que se aplica a las variables la operacin OR es indiferente:

A B B A

Ley conmutativa de la suma

El orden en que se aplica a las variables la operacin AND es indiferente:

A B B A

Ley conmutativa de la multiplicacin

Sistemas digitales

Algebra de Boole

Leyes Asociativas Al aplicar la operacin OR a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables:

A (B C) (A B) C

Ley asociativa de la suma

Al aplicar la operacin AND a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables:

(A B) C A ( B C)
Ley Distributiva

Ley asociativa de la multiplicacin

A(B C) A B A C

Ley distributiva del producto respecto de la suma

Ley distributiva de la suma respecto del producto

(A B)(A C) A B C

Sistemas digitales

Algebra de Boole

Ejemplo Para el siguiente circuito lgico encuentre otro equivalente, pero con una menor cantidad de puertas lgicas, simplifique el circuito aplicando los postulados del algebra de Boole La funcin lgica del circuito viene dada por:

A B C
CIRCUITO ORIGINAL

ABC AB
AB(C 1)

Factorizando por los trminos semejantes, en este caso AB, se tiene que: Pero C+1 segn los postulados del algebra de Boole es igual a 1.

AB 1
Finalmente la funcin simplificada es:

AB
A B
CIRCUITO SIMPLIFICADO EQUIVALENTE

Sistemas digitales

Algebra de Boole

Ejemplo Para el siguiente circuito lgico encuentre otro equivalente, pero con una menor cantidad de puertas lgicas, simplifique el circuito aplicando los postulados del algebra de Boole A B La funcin lgica del circuito viene dada por:

ABC ABC
A B (C C )

Factorizando por A B se tiene: Pero C C es igual a 1

AB 1
CIRCUITO ORIGINAL

Finalmente la funcin simplificada es:

AB
A B
CIRCUITO SIMPLIFICADO EQUIVALENTE

Sistemas digitales

Algebra de Boole

TEOREMAS DE De Morgan Son muchas las implementaciones de tipo lgico basadas en las reglas del llamado Teorema de De Morgan. Estas permiten transformar funciones suma en funciones producto y viceversa, con lo cual, entre otras cosas, permiten realizar los circuitos utilizando un solo tipo de puerta PRIMER TEOREMA DE De Morgan : La inversa de una suma es igual al producto de sus inversas

A B A B (Para dos variables)

A B C A B C
(Para tres variables)

A B C ... A B C ... (En general)

Augustus De morgan (1806-1871) matemtico de origen indio, vivi gran parte de su vida en Inglaterra, realizo grandes aportes al lgebra

Sistemas digitales

Algebra de Boole

SEGUNDO TEOREMA DE DE MORGAN : El inverso de un producto es igual a la suma de sus inversas

A B A B

(Para dos variables) (Para tres variables)

A B C A B C

A B C ... A B C ... (En general)

PROCEDIMIENTO GENERAL PARA APLICAR MORGAN 1.- Se cambia el tipo de operacin. 2.- Se niegan las variables.

3.- Se niega toda la funcin.

4.- Se simplifican las negaciones.

Sistemas digitales

Algebra de Boole

Ejemplo Para el siguiente circuito lgico encuentre otro equivalente, aplicando De Morgan
La funcin F del circuito viene dada por:

F A B C
Circuito 1

Paso 1. Se cambia el tipo de operacin, de producto a suma:

A B C
Paso 2. Se niegan las variables:

A B C
Paso 3. Se niega toda la funcin:

A B C

Sistemas digitales

Algebra de Boole

Paso 4. Se simplifican las negaciones:

Se tiene entonces que:

A B C A B C A B C

El nuevo circuito lgico equivalente es:

Tabla de verdad Circuito 1
A B 0 0 1 0 1 C 0 1 0 0 1 F 0 0 0 0 0

Tabla de verdad Circuito 2

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

Circuito 2

0 0 0 1

Compruebe que los circuitos realizan la misma funcin, para ello complete sus tablas de verdad

1
1 1

1
0 1

0
1 1

1
0 0

1
1 1

1
0 1

0
1 1

1
0 0

Sistemas digitales

Algebra de Boole

Ejemplo2. Para el siguiente circuito lgico encuentre otro equivalente, aplicando De Morgan
La funcin F del circuito viene dada por:

F A B C
Circuito 1

Paso 1. Se cambia el tipo de operacin, de suma a producto:

A B C
Paso 2. Se niegan las variables:

A B C
Paso 3. Se niega toda la funcin:

A B C

Sistemas digitales

Algebra de Boole

Paso 4. Se simplifican las negaciones:

Se tiene entonces que:

A B C A B C A B C

El nuevo circuito lgico equivalente es:

Tabla de verdad Circuito 1
A B 0 0 1 0 1 C 0 1 0 0 1 F

Tabla de verdad Circuito 2

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

Circuito 2

0 0 0 1

Compruebe que los circuitos realizan la misma funcin, para ello complete sus tablas de verdad

1
1 1

1
0 1

0
1 1

1
1 1

1
0 1

0
1 1