Вы находитесь на странице: 1из 47

Postulados del lgebra de boole

Santo Domingo, Mayo 2017


Acuerdos

Estar abiertos al aprendizaje

Tomar responsabilidad por su propio aprendizaje.

Poner atencin, evitar conversaciones paralelas.

Apagar los celulares o ponerlos en silencio.

Cerrar las laptops.

Divertirse

05/12/2017 2
Contenido

1. Objetivo

2. Introduccin

3. Desarrollo

4. Conclusiones y recomendaciones

05/12/2017 3
1. Objetivo

Objetivo
Conocer los postulados y teoremas del lgebra de boole

05/12/2017 4
2. Introduccin

Postulado:

Principio cuya admisin es necesaria para establecer una


demostracin.
Verdad evidente que no necesita demostrarse.
Identidad: igualdad cuyos dos miembros son idnticos.

Teorema:
Enunciado de una proposicin o de una propiedad que se demuestra
por razonamiento lgico a partir de hechos, dados o de la hiptesis
incluidos en el enunciado.

Proposicin:

05/12/2017 5
3. Desarrollo

Postulados

0*0=0 1+1=1
0*1=0 1+0=1
1*0=0 0+1=1
1*1=1 0+0=0

0 = 1 ; 1 = 0

Principio de dualidad
1+0=1

0 *1=0

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 6
3. Desarrollo

Dualidad

La dualidad no significa igualdad 0 * 0 = 0; 1 + 1 = 1

Principio de dualidad
1+0=1

0 *1=0

Si existen variables incluidas, las variables no


cambian.

a . b + (c + d) = Y
(a + b) * c * d = X

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 7
3. Desarrollo

Proposiciones Elementales

= + = idempotencia, tautologa
= 0 + = 1
1= +0=
0= 0 +1=1
= =

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 8
3. Desarrollo

Leyes Fundamentales

: = ; + =+

: = ; + + = + ( + )

: + = + ; + = ( + )( + )

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 9
3. Desarrollo

Teoremas
: + = ; + =

: +
= + ; + =

: + +
= + ;
( + ) + ( + ) = ( + )( + )

: + = ; ( + )( + )
=

: = + ;
+ =

:
< 1 , , > = 1 1 < 1 , , > + 1 1 < 1 , , >

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 10
3. Desarrollo

Teoremas
: + = ; + =

: +
= + ; + =

: + +
= + ;
( + ) + ( + ) = ( + )( + )

: + = ; ( + )( + )
=

: = + ;
+ =

:
< 1 , , > = 1 1 < 1 , , > + 1 1 < 1 , , >

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 11
3. Desarrollo

Induccin completa

: + +
= + ;
( + ) + ( + ) = ( + )( + )

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 12
3. Desarrollo

Ejercicio: Sea = + +
+
Grafique con compuertas

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 13
3. Desarrollo

Ejercicio: Sea
= ( + + )(
++ )( + )
+ )( + + )( + +
Grafique con compuertas

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 14
3. Desarrollo

Ejercicio: Sea
=
+
+
+
+
+

+
= ( + )( +
+ + )(
+ +++ +
)( + + )( + +
+ )(
+ +
+ )

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 15
3. Desarrollo

3.1 El Inversor

Circuito NOT
Realiza la operacin: complementacin
Cambia un nivel lgico al nivel opuesto
Cambia 1 por 0 y 0 por 1

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 16
3. Desarrollo

3.1 El Inversor
Indicador de negacin o complementacin: o

In: Entrada es activa a nivel bajo: estado activo o verdadero de entrada: 0


Out: Salida es activa a nivel bajo: estado activo o verdadero de salida: 0

Sin o: Estado activo o verdadero es 1: la entrada o salida es activa a nivel


ALTO.

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 17
3. Desarrollo

3.1 El Inversor

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 18
3. Desarrollo

3.1 Tabla de verdad del Inversor

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 19
3. Desarrollo

3.1 Diagramas de tiempos

Es bsicamente una grfica que presenta de forma precisa las


relaciones de dos o ms formas de onda en funcin del tiempo.

El flanco de subida del impulso de entrada y el flanco de bajada del impulso


de salida se producen al mismo tiempo (idealmente).
Igualmente, el flanco de bajada del impulso de entrada y el flanco de subida
del impulso de salida se producen al mismo tiempo (idealmente).

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 20
3. Desarrollo

3.1 Expresin lgica del inversor

Algebra booleana: matemtica de circuitos lgicos:

Variable: A : puede tomar valores de 0 o 1

El complemento de A:

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 21
3. Desarrollo

3.2 La compuerta AND

Compuerta bsica con la que se construyen todas las funciones


lgicas.

Puede tener dos o ms entradas y una nica salida, realiza la


operacin que se conoce como multiplicacin lgica.

estndar ANSI/IEEE 911984

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 22
3. Desarrollo

3.2 La compuerta AND

Las compuertas lgicas son los bloques de construccin de las


computadoras.

La mayor parte de las funciones en una computadora, con la


excepcin de ciertos tipos de memoria, se implementan mediante
compuertas lgicas utilizadas a muy gran escala.

Un microprocesador, que es la parte principal de una computadora,


consta de cientos de miles de puertas lgicas.

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 23
3. Desarrollo

3.2 Tabla de verdad de la compuerta AND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 24
3. Desarrollo

3.2 Tabla de verdad de la compuerta AND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 25
3. Desarrollo

3.2 Ejercicio

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 26
3. Desarrollo

3.2 Funcionamiento con trenes de pulsos

En la mayora de las aplicaciones, las entradas a una puerta no son


niveles estacionarios sino tensiones que cambian frecuentemente
entre los niveles lgicos ALTO y BAJO

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 27
3. Desarrollo

3.2 Funcionamiento con trenes de pulsos

En la mayora de las aplicaciones, las entradas a una puerta no son


niveles estacionarios sino tensiones que cambian frecuentemente
entre los niveles lgicos ALTO y BAJO

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 28
3. Desarrollo

3.2 Ejercicio

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 29
3. Desarrollo

3.2 Ejercicio

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 30
3. Desarrollo

3.2 La compuerta AND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 31
3. Desarrollo

3.2 La compuerta AND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 32
3. Desarrollo

3.3 La compuerta OR

Tiene dos o ms entradas y una salida

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 33
3. Desarrollo

3.3 La compuerta OR

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 34
3. Desarrollo

3.3 Tabla de verdad de la compuerta OR

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 35
3. Desarrollo

3.3 Funcionamiento con trenes de impulsos

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 36
3. Desarrollo

3.3 Funcionamiento con trenes de impulsos

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 37
3. Desarrollo

3.4 Compuerta NAND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 38
3. Desarrollo

3.4 Compuerta NAND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 39
3. Desarrollo

3.4 Compuerta NAND

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 40
3. Desarrollo

3.5 Compuerta NOR

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 41
3. Desarrollo

3.5 Compuerta NOR

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 42
3. Desarrollo

3.5 Compuerta NOR

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 43
3. Desarrollo

3.5 Compuerta OR Exclusiva

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 44
3. Desarrollo

3.5 Compuerta NOR Exclusiva

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin, Pearson Educacin, 2007
05/12/2017 45
4. Bibliografa

Fundamentos de sistemas digitales, Floyd, Thomas L., 9na edicin,


Pearson Educacin, 2007

Sistemas digitales, Tocci, Ronald J., 10ma edicin, Pearson Educacin,


2007

05/12/2017 46
Gracias por la atencin

05/12/2017 47

Вам также может понравиться