Sistemas Digitales I

SISTEMAS NUMERICOS

Decimal Binario Octal Hexadecimal

0 0 000 0000
1 1 001 0001
2 010 0010
3 011 0011
4 100 0100
5 101 0101
6 110 0110
7 111 0111
8 1000
9 1001
A 1010
B 1011
C 1100
D 1101
E 1110
F 1111

E. Romero A. ITSON
 Sistemas Digitales I

INTRODUCCION AL ALGEBRA BOOLEANA

En 1854 George Boole edit su libro "Teora del pensamiento" en el que estableci que el
mecanismo bsico del funcionamiento de la mente humana es la asociacin de elementos simples
que adoptan dos posturas: aceptacin y negacin (s y no, 1 y 0, todo y nada).
As, para poder trabajar de una manera ms fcil lo anterior, Boole establece un tipo de
lgebra (lgebra de Boole) que, basado en la teora de los conjuntos, puede ser empleada al
anlisis y diseo de circuitos digitales.

ALGEBRA BOOLEANA

El algebra Booleana es una estructura algebraica definida por un conjunto B con dos
operadores +, *, que cumple con los postulados de Huntington:

1.- a) B es un conjunto cerrado con respecto al operador +

x, y B x+y B
b) B es un conjunto cerrado con respecto al operador *
x, y B x*y B

2.- a) Existe el elemento identidad con respecto al operador +

e B x B x+e = e+x = x
b) Existe el elemento identidad con respecto al operador *
e B x B x*e = e*x = x

3.- a) El conjunto es conmutativo con respecto a +

x, y B x+y = y+x
b) El conjunto es conmutativo con respecto a *
x, y B x*y = y*x

4.- a) + es distributivo con respecto a *

x, y, z B x * ( y + z) = y * y + x * Z
b) * es distributivo con respecto a +
x, y, z B x + ( y * z) = ( x + y ) * ( x + z)

5.- Para toda x B existe x' B tal que:

a) x + x' = 1
b) x * x' = 0

6.- Existen al menos 2 elementos x B tal que x y

B = 0, 1

E. Romero A. ITSON
 Sistemas Digitales I

De acuerdo a lo anterior, se puede notar que en el lgebra de Boole solo existen tres
operaciones: suma, multiplicacin y complemento.

Operacin Forma de representarla

x+y
Suma
a*b
Multiplicacin ab
ab
x'
Complemento x

TEOREMAS BASICOS

1. Teorema de idempotencia
a) x + x = x
b) x * x = x

2. Teorema de elementos nulos

a) x + 1 = 1
b) x * 0 = 0

3. Teorema de involucin
( x' )' = x

4. Teorema asociativo
a) x + ( y + z ) = ( x + y ) + z
b) x * ( y * z) = ( x * y) * z

5. Teorema de Morgan
a) ( x + y )' = x' y'
b) ( x * y )' = x' + y'

6. Teorema de absorcin
a) x + xy = x
b) x (x + y) = x

7. Teorema de adyacencia lgica

a) xy + xy' = x
b) ( x + y )( x + y' ) = x

Tabla de verdad
Es la representacin tabular que lista los valores de una funcin lgica para todas las
combinaciones de las variables de entrada. El nmero de combinaciones posible en una tabla de
verdad es:
combinacio nes = 2 n
donde n es el nmero de variables en la tabla de verdad

E. Romero A. ITSON