lgebra de Boole

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

20 de julio de 2013

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.

3

20 de julio de 2013

Ejercicio

Mencione

un ejemplo en donde se pueda usar una variable binaria.

4

20 de julio de 2013

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

AND OR NOT

20 de julio de 2013

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

20 de julio de 2013

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.
7

20 de julio de 2013

AND
A 0 0 l l B 0 l 0 l S 0 0 0 l
Smbolo lgico

Tabla de verdad

20 de julio de 2013

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.
9

20 de julio de 2013

OR
A
0 0 1 1

B
0 1 0 1

S
0 1 1 1
Smbolo lgico

Tabla de verdad

20 de julio de 2013

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.

20 de julio de 2013

11

Inversor
A 0 1 S 1 0
Smbolo lgico

Tabla de verdad

20 de julio de 2013

12

Operacin NO-Y o NAND

S=A.B
Resultado de la negacin o inversin de una operacin AND

20 de julio de 2013

13

NAND
A 0 0 1 1 B 0 1 0 1 S 1 1 1 0

Tabla de verdad

Smbolo lgico

20 de julio de 2013

14

Operacin NO-O o NOR

S= (A+B) = A+B
Resultado de la negacin o inversin de una operacin OR

20 de julio de 2013

15

NOR
A 0 B 0 C 1

1
0 1

0
1 1

0
0 0

Tabla de verdad

Smbolo lgico

20 de julio de 2013

16

Operacin Buffer

S=A
El resultado ser la misma variable sin ninguna alteracin

20 de julio de 2013

17

Buffer
A 0 1 S 0 1

Tabla de verdad

Smbolo lgico

20 de julio de 2013

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

20 de julio de 2013

19

X-OR
A 0 1 0 1 B 0 0 1 1 C 0 1 1 0

Tabla de verdad

Smbolo lgico

20 de julio de 2013

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

20 de julio de 2013

21

X-NOR
A 0 1 0 1 B 0 0 1 1 C 1 0 0 1

Tabla de verdad

Smbolo lgico

20 de julio de 2013

22

Resumen de Operaciones Lgicas

Puerta Lgica
OR AND NOT
20 de julio de 2013

Diagrama lgico

Representacin algebraica
S=A+B S=A.B S = A
23

Resumen de Operaciones Lgicas

Puerta Lgica NAND NOR XOR XNOR BUFFER
20 de julio de 2013

Diagrama lgico

Representacin algebraica S=(A.B) S= (A+B) S = AB + AB S = AB + AB S=A

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.

20 de julio de 2013

26

Ejemplo

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

20 de julio de 2013

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

20 de julio de 2013

28

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

20 de julio de 2013

29

Postulado 2

Existen 2 elementos neutros, el 0 y el 1, cumplindose la propiedad:

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

(identidad) (identidad)

20 de julio de 2013

30

Postulado 3

Las operaciones suma y producto son conmutativos

a)

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

20 de julio de 2013

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)

20 de julio de 2013

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

20 de julio de 2013

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

20 de julio de 2013

34

Teorema 1

La suma o producto de dos variables iguales equivale a la misma variable

a)

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

20 de julio de 2013

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

20 de julio de 2013

36

Teorema 3

Para todo elemento de un lgebra de boole se cumple que:

a)

a = a b) a = a

20 de julio de 2013

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

20 de julio de 2013

38

Teorema 5

Ley De Morgan.
a)

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

20 de julio de 2013

39

Teorema 6

Ley de Absorcin.
a)

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

20 de julio de 2013

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.

20 de julio de 2013

41

Ejemplo de simplificacin

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

F=xy

20 de julio de 2013

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.

20 de julio de 2013

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.).
44

20 de julio de 2013