lgebra de Boole

lgebra de Boole
Variables Binarias
Operadores Lgicos
Leyes del Algebra de Boole
Postulados
Teoremas

23 de abril de 2014

Variables Binarias

Son Variables que representan tan slo dos

posibles valores
Comnmente asociados a 1 y 0
Pueden representar:
Presencia

o ausencia de voltaje
Presencia o ausencia de corriente
Estado de cierre o apertura de un interruptor

Es la forma mas sencilla (prctica) de

representar informacin.

23 de abril de 2014

Ejercicio

Mencione

un
ejemplo en donde
se pueda usar una
variable binaria.

23 de abril de 2014

Operadores Lgicos
Son las operaciones que se realizan con
las variables binarias.
Son solamente tres.

AND
OR
NOT

23 de abril de 2014

Operadores Lgicos
Representacin de las operaciones
lgicas de tres formas,
Representacin algebraica
Tabla de verdad
Diagrama lgico.

23 de abril de 2014

La Operacin Y o AND
Operacin Producto Lgico
Sean A y B dos variables Binarias
Se define la Operacin Y o AND como :

S=A.B

La variable de salida ser 1, si las dos

variables de entrada valen 1, en caso
contrario la salida ser 0.

23 de abril de 2014

AND
A

Smbolo lgico

Tabla de verdad

23 de abril de 2014

La operacin 0 u 0R
Operacin suma lgica
Sean A y B dos variables Binarias
Se define la Operacin O u OR como

S=A+B

La variable de salida ser 0, si las dos

variables de entrada valen 0, en caso
contrario la salida ser 1.

23 de abril de 2014

OR
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

10

La operacin NOT o inversin

A
S = A =
X = valor inverso de una variable

Opera sobre una sola variable y el

resultado es el valor lgico invertido o
complementado.

23 de abril de 2014

11

Inversor
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

12

Operacin NO-Y o NAND

S=A.B

Resultado de la negacin o inversin

de una operacin AND

23 de abril de 2014

13

NAND
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

14

Operacin NO-O o NOR

S= (A+B) = A+B

Resultado de la negacin o inversin

de una operacin OR

23 de abril de 2014

15

NOR
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

16

Operacin Buffer

S=A

El resultado ser la misma variable sin

ninguna alteracin

23 de abril de 2014

17

Buffer
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

18

Operacin OR-Exclusiva o X-OR

S= A B, S = A B+ A B
La salida ser igual a 1 si una de las
variables binarias de entrada es igual a
1, pero excluye la combinacin cuando
ambas son iguales a 1 y ser 0 en este
caso y en el que las dos variables son 0

23 de abril de 2014

19

X-OR
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

20

Operacin NOR-Exclusiva o
Equivalente

S= (A B), S = A B + AB
Es el resultado de la negacin de la
funcin XOR y la salida ser igual a 1
cuando las dos variables de entrada
fueren iguales

23 de abril de 2014

21

X-NOR
A

Tabla de verdad

23 de abril de 2014

Smbolo lgico

22

Resumen de Operaciones Lgicas

Puerta Lgica

Diagrama
lgico

Representacin
algebraica

OR

S=A+B

AND

S=A.B

NOT

S = A

23 de abril de 2014

23

Resumen de Operaciones Lgicas

Puerta Lgica
NAND

Representacin
algebraica
S=(A.B)

NOR

S= (A+B)

XOR

S = AB + AB

XNOR

S = AB + AB

BUFFER

S=A

23 de abril de 2014

Diagrama
lgico

24

Funciones
Booleanas

Definicin

Funcin, es la relacin existente entre las

n variables, fijadas entre ellas mediante
operaciones de sumas, productos lgicos,
inversiones, parntesis y signo de igual; a
la cual le corresponder un valor (0 1),
dependiendo de los valores de las
variables.

23 de abril de 2014

26

Ejemplo

F = A + B.C+B.(A + C)

23 de abril de 2014

27

lgebra para trabajar con las

funciones Booleanas
lgebra de Boole.
Un conjunto axiomtico compuesto por
teoremas y postulados.
Estn definidos para las funciones
bsicas, suma y producto, y
consecuentemente para todas las
funciones booleanas.
Finalidad: Simplificar

23 de abril de 2014

28

Postulado 1
Dice al respecto del conjunto cerrado
para los operadores de suma y de
producto.
f= {0,1}

23 de abril de 2014

29

Postulado 2

Existen 2 elementos neutros, el 0 y el

1, cumplindose la propiedad:
a.1 = a
b) a+0 = a
a)

23 de abril de 2014

(identidad)
(identidad)

30

Postulado 3

Las operaciones suma y producto son

conmutativos
a)

a+b=b+a
b) a . b = b . a

23 de abril de 2014

31

Postulado 4

Ambas operaciones son distributivas

a # b @ c = (a # b)@(a # c)
a) a+bc = (a+b)(a+c)
(Este postulado no existe para el lgebra comn)

b) a.(b+c) = (ab)+(ac)

23 de abril de 2014

32

Postulado 5

Existe el elemento complementario para

cada variable binaria y el resultado para
cada operacin es el que sigue.
a)

a + a = 1
b) a . a = 0

23 de abril de 2014

33

Postulado 6

Es una combinacin de las propiedades

distributivas y asociativas, se usa
comnmente en la simplificacin de
funciones.
a)

a + a b = (a + a) (a+b) = a+b
b) a (a + b) = a a + a b = ab

23 de abril de 2014

34

Teorema 1

La suma o producto de dos variables

iguales equivale a la misma variable
a)

a+a = a
b) a.a = a

23 de abril de 2014

35

Teorema 2

Casos en que no se cumple la propiedad

de elemento neutro, pero existen y se
definen de esta forma.
c)

a.0 = 0
d) a+1 = 1

23 de abril de 2014

36

Teorema 3

Para todo elemento de un lgebra de

boole se cumple que:
a)

a = a
b) a = a

23 de abril de 2014

37

Teorema 4

Ambas operaciones son asociativas

a)

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

b) (a.b).c = a.(b.c) = a.b.c

23 de abril de 2014

38

Teorema 5

Ley De Morgan.
a)

(a + b + c + ...) ' = a' . b' . c' . ...

b) ( a . b . c. ... ) ' = a' + b' + c' + ...

23 de abril de 2014

39

Teorema 6

Ley de Absorcin.
a)

a + ab = a
b) a(a + b) = a

23 de abril de 2014

40

La simplificacin

El proceso de la simplificacin consiste en

aplicar los postulados y teoremas del
lgebra booleana para llegar a la
expresin ms simple de la ecuacin,
est, se presentar normalmente en su
forma de sumatoria de productos.

23 de abril de 2014

41

Ejemplo de simplificacin

F = xy(z+x+zy)
F=xyz+xyx+xyzy
F=xyz+xy+0
F=xy

23 de abril de 2014

42

Sobre la simplificacin
No existe una metodologa para realizar la
simplificacin.
Slo la prctica es la manera de alcanzar
la simplificacin ms ptima.
La aplicacin del lgebra de boole no
garantiza el llegar a la simplificacin
ptima.

23 de abril de 2014

43

Caractersticas de las funciones

Cualquier funcin Booleana puede

representarse en una tabla de verdad.
Es posible encontrar dos o ms expresiones
algebraicas que especifiquen la misma funcin,
el objetivo es encontrar la expresin ms
simple.
Una funcin Booleana puede transformarse de
una expresin algebraica en un diagrama lgico
compuesto de compuertas ( AND, OR, NOT,
etc.).

23 de abril de 2014

44