Vous êtes sur la page 1sur 52

SESION 13.

COMPUERTAS LOGICAS
M.Sc. HUBERT ARTEAGA MIANO

HUBERT ARTEAGA MIANO

20/11/2014

FACULTAD DE INGENIERIA
ESCUELA ACADEMICO PROFESIONAL DE INGENIERIA AGROINDUSTRIAL
Y COMERCIO EXTERIOR

Aplica los procesos lgicos utilizados por los dispositivos elctricos y


electrnicos.

Informes
PRODUCTO

HUBERT ARTEAGA MIANO

CONTENIDOS

Compuertas lgicas:
Tablas de verdad de las compuertas Not, Or, And, Nor, Nand
Algebra de Boole

20/11/2014

CAPACIDAD

HUBERT ARTEAGA MIANO

A diferencia del lgebra normal, las variables booleanas toman nicamente


dos valores comnmente denominados "falso" y "verdadero", que pueden
relacionarse a los dos nicos estados de los circuitos de interrupcin, circuito
"abierto " y "cerrado". Los smbolos 0 y 1 se usan para expresar los dos
posibles valores de las variables booleanas.
Si, A =1 usualmente significa que A es verdadera
Si, A = 0 significa que A es falsa.

20/11/2014

ALGEBRA DE BOOLE

HUBERT ARTEAGA MIANO

Operador lgico "AND"


Est definido para dos o ms argumentos booleanos, y puede ser relacionado con
el trmino "CONDICIN", la representacin ms comn para AND es.
F(AB) = A B = AB = AU B = A&B
F es una funcin de las variables booleanas A y B. Los primeros dos smbolos
son los ms empleados y no indican A por B sino "A and B".
El operador AND es verdadero si y solo si todas sus variables son verdaderas.
En otras palabras, es "CONDICIN" de que A y B sean ambas verdaderas para que
F (AB) sea verdadera.

20/11/2014

Operadores Lgicos
Las variables booleanas pueden manipularse por medio de operadores similares
a los del lgebra normal comnmente llamados "operadores lgicos".

HUBERT ARTEAGA MIANO

20/11/2014

Una variable booleana puede tomar nicamente los valores de "0" o "1 LOGICOS.
Entonces para una funcin de m variables booleanas existen 2m posibles
combinaciones de estos valores. De aqu que una forma sencilla de expresar el
comportamiento de un operador lgico sea por medio de una TABLA DE VERDAD,
que consiste de un listado de todas las posibles combinaciones de las variables de
entrada a un operador y el valor de la operacin o salida para cada combinacin.

HUBERT ARTEAGA MIANO

20/11/2014

El operador AND puede relacionarse con dos o ms interruptores conectados en serie


con una lmpara. Esta encender solamente cuando ambos interruptores estn
cerrados.

HUBERT ARTEAGA MIANO

20/11/2014

Al smbolo de un operador lgico usualmente se le llama "COMPUERTA", este


trmino proviene de los antiguos sistemas de interrupcin, se deca que el
contacto de un relevador, era similar a una compuerta que al abrirse o cerrarse
permite el paso de seales elctricas.

HUBERT ARTEAGA MIANO

20/11/2014

Aplicaciones compuerta AND

20/11/2014
HUBERT ARTEAGA MIANO

0perador lgico "OR"


Est definido para dos o ms argumentos booleanos y puede ser relacionado con el
trmino "ALTERNATIVA". La representacin ms comn para el operador OR es:
F(AB) = A + B= A U B = A V B El primer smbolo es el ms empleado, el signo (+) no
significa ms sino OR.
El operador "OR" es verdadero con solo y que una de sus variables sea verdadera.
En otras palabras existe la ALTERNATIVA de que alguna de las variables sea
verdadera para que el operador sea verdadero.

HUBERT ARTEAGA MIANO

20/11/2014

El operador OR puede relacionarse con dos o ms interruptores conectados en


paralelo con una lmpara. Esta encender con solo que uno de los interruptores
este cerrado.

10

HUBERT ARTEAGA MIANO

20/11/2014

Aplicaciones compuerta OR

11

20/11/2014
HUBERT ARTEAGA MIANO

Operador lgico "NOT"


Est definido para un solo argumento booleano y su funcin consiste en cambiar
el valor de una variable booleana por su complemento. Tambin se le conoce
como inversor o complementador. La representacin ms comn para el operador
NOT es:
F (A) = = A*
La tabla de verdad para un operador NOT es la siguiente:

12

HUBERT ARTEAGA MIANO

20/11/2014

El operador NOT puede relacionarse con un interruptor conectado en paralelo a una


lmpara que se muestra en la figura 3.7a) la lmpara encendera cuando el
interruptor este abierto.

13

HUBERT ARTEAGA MIANO

20/11/2014

Aplicaciones compuerta NOT

14

HUBERT ARTEAGA MIANO

20/11/2014

Operador lgico EX-OR (Exclusive-OR)


Est definido para dos o ms argumentos booleanos. La representacin del
operador EX-OR es: F(AB)=A B El operador EX-OR es verdadero para un nmero
impar de variables verdaderas.

15

HUBERT ARTEAGA MIANO

20/11/2014

La compuerta EX-OR puede relacionarse con dos interruptores de un polo, dos


tiros conectados como se muestra en la figura 3.9 a).

16

HUBERT ARTEAGA MIANO

El operador NAND es falso si y solo si sus argumentos son verdaderos

20/11/2014

Operador lgico "NAND"


Est definido para una o ms argumentos booleanos. El operador NAND, es la
funcin complemento del AND, su representacin es la siguiente:

17

HUBERT ARTEAGA MIANO

20/11/2014

El operador NAND puede relacionarse con un par de interruptores conectados en


paralelo a una lmpara, como se muestra en la figura. 3.11.

18

19

HUBERT ARTEAGA MIANO

20/11/2014

HUBERT ARTEAGA MIANO

20/11/2014

Aplicaciones compuertas NAND

20

HUBERT ARTEAGA MIANO

El operador NOR es verdadero si y solo si todo sus argumentos son falsos

20/11/2014

Operador lgico "NOR"


Est definido para uno o ms argumentos booleanos. El operador NOR es la funcin
complemento del OR, su representacin es la siguiente:

21

HUBERT ARTEAGA MIANO

20/11/2014

El operador NOR puede relacionarse a un par, de interruptores conectados en


paralelo a una lmpara, Figura3.14.

22

23

HUBERT ARTEAGA MIANO

20/11/2014

HUBERT ARTEAGA MIANO

20/11/2014

Aplicaciones compuertas NOR

24

HUBERT ARTEAGA MIANO

20/11/2014

Operador lgico Coincidence.


El operador lgico Concidence es la funcin complemento del EX-OR, tambin se le
conoce como EX-NOR. Su representacin es la siguiente:
F(AB)= AB
El Coincidence es falso para un nmero impar de variables verdaderas

25

26

HUBERT ARTEAGA MIANO

20/11/2014

Los parntesis se usan para indicar el orden en que se deben ejecutar Las
operaciones booleanas. Cuando no existen parntesis, en el inciso b) debe
ejecutarse primero la complementacin, despus el AND y por ultimo el OR.
Cada expresin corresponde a un circuito de compuertas lgicas, como se muestra
en el ejemplo 3.1.

HUBERT ARTEAGA MIANO

20/11/2014

Expresiones Booleanas
La aplicacin de los operadores bsicos a una o ms variables o constantes forma
lo que se conoce como Expresiones Booleanas. Las expresiones booleanas ms
simples consisten en una sola variable o constante, por ejemplo, A, B, 1, etc.
La formacin de expresiones ms complicadas se llevan a cabo combinando
expresiones simples por medio de ANDS. OR'S y NOT'S, por ejemplo:

27

La evaluacin de una expresin se hace sustituyendo los valores de 0 y 1 para cada


variable. Una tabla de verdad es un mtodo til para este propsito, puesto que
muestra todas las posibles combinaciones de los valores de las variables y su salida.

HUBERT ARTEAGA MIANO

20/11/2014

Ejemplo 3.1

28

HUBERT ARTEAGA MIANO

20/11/2014

Ejemplo 3.2

29

30

HUBERT ARTEAGA MIANO

20/11/2014

HUBERT ARTEAGA MIANO

20/11/2014

1. Encuentre el circuito para las siguientes funciones booleanas

31

La comprobacin de estas proposiciones se ve obvia por simple inspeccin sin


embargo pueden verificarse usando tablas de verdad o por medio de sus
equivalentes elctricos.

HUBERT ARTEAGA MIANO

20/11/2014

Propiedades fundamentales del lgebra Booleana


Las siguientes proposiciones son las elementales en el lgebra booleana, algunas
de ellas no son correctas para el lgebra normal.

32

Ley distributiva:

HUBERT ARTEAGA MIANO

Ley conmutativa:

20/11/2014

Leyes fundamentales
Ley asociativa:

33

HUBERT ARTEAGA MIANO

20/11/2014

Aparentemente la ltima ecuacin es incorrecta con respecto al, lgebra normal.


Puede probarse mediante una tabla de verdad o empleando los postulados
anteriormente descritos:

34

20/11/2014
HUBERT ARTEAGA MIANO

Teorema de D'MORGAN
Para obtener el complemento o inverso de una expresin booleana se aplica el
teorema de "D'MORGAN" en su forma ms general establece que para
complementar una funcin booleana expresada por medio de AND, OR y NOT, es
necesario:
1.- Reemplazar todos los operadores AND por OR.
2.- Reemplazar todos los operadores OR por AND.
3.- Reemplazar todas las variables por su complemento.
Aplicando el teorema de D'MORGAN para dos argumentos tenemos:

35

HUBERT ARTEAGA MIANO

20/11/2014

Ejemplo 3.3 Complemente la siguiente funcin:

36

37

HUBERT ARTEAGA MIANO

20/11/2014

LAS OPERACIONES DEL LGEBRA DE BOOLE

Esta operacin se define de la siguiente


manera:
Las tres primeras operaciones nos resultan obvias, son iguales
0+0=0
que la suma que conocemos, sin embargo la expresin 1+1=1
0+1=1
nos puede resultar chocante. Pero no me haban dicho toda
1+0=1
la vida que 1+1=2??, nos podemos estar preguntando. S, pero
1+1=1
hay que recordar que aqu estamos utilizando otra operacin
que NO ES LA SUMA, la denotamos con el mismo smbolo +,
pero no es una suma normal!! Hay que cambiar el chip!!
Ahora estamos con Algebra de Boole!!

HUBERT ARTEAGA MIANO

La operacin +

20/11/2014

En el lgebra de Boole hay dos operaciones, denotadas con los smbolos + y . pero
que no tienen nada que ver con las operaciones que todos conocemos de suma
y producto!!. No hay que confundirlas!!!!. El + y . el del Algebra de Boole se
aplican a bits, es decir, a nmeros que slo pueden ser el 0 el 1.

38

que indica que F=1 (Luz encendida) si alguno de los interruptores est a 1
(activado).

HUBERT ARTEAGA MIANO

Y para qu nos sirve esta operacin tan extraa? Veamos un ejemplo.


Imaginemos que hay una sala grande a la que se puede acceder a travs de dos
puertas. En el techo hay una nica lmpara y existen dos interruptores de luz,
uno al lado de cada puerta de entrada. Como es lgico, la luz se enciende cuando
algunos de los dos interruptores (o los dos) se activan. Esto lo podemos expresar
mediante una ecuacin booleana. Para denotar el estado de uno de los
interruptores utilizaremos la variable booleana A, que puede valer 0
(Interruptor apagado) 1 (interruptor activado). Para el otro interruptor
usaremos la variable B. Y para el estado de la luz, 0 (apagada) y 1 encendida,
usaremos la variable F.
El estado en el que se encuentra la luz, en funcin de cmo estn los
interruptores viene dado por la ecuacin booleana:

20/11/2014

Pasado el pnico inicial, si nos fijamos en esta nueva operacin, notamos lo


siguiente: El resultado siempre es igual a 1 cuando alguno de los bits sumandos
es igual a 1. O lo que es lo mismo, El resultado de esta suma slo da 0 si los
dos bits que estamos sumando son iguales a cero. En caso contrario valdr 1.

39

40

HUBERT ARTEAGA MIANO

20/11/2014

La operacin .

Vamos a ver un ejemplo. Imaginemos una caja de seguridad de un banco que


slo se abre cuando se han introducido dos llaves diferentes, una la tiene el
director y la otra el jefe de seguridad. Si slo se introduce una de ellas, la caja no
se abrir. Modelaremos el problema as. Utilizaremos la variable A para referirnos
a una de las llaves (0 no introducida, 1 introducida) y la variable B para la otra
llave. Con la variable F expresamos el estado de la caja de seguridad (0 cerrada y
1 abierta). El estado de la caja lo podemos expresar con la ecuacin:

que indica que la caja se abrir (F=1) slo si


A=1 (una llave introducida) y B=1 (la otra llave
introducida). En cualquier otro caso, F=0, y por
tanto la caja no se abrir.

HUBERT ARTEAGA MIANO

En este caso, la operacin es ms intutitiva, puesto que es


igual que el producto de nmeros Reales. Si nos fijamos,
vemos que el resultado slo vale 1 cuando los dos bits estn
a 1, o visto de otra manera, el resultado es 0 cuando alguno
de los dos bits es 0.

20/11/2014

Esta operacin se define as:

41

HUBERT ARTEAGA MIANO

20/11/2014

Si A es una variable booleana se cumple que:

42

HUBERT ARTEAGA MIANO

Una estructura matemtica, como es el algebra de Boole, se construye a partir de


un conjunto de elementos sobre los que se definen unos operadores que
permiten realizar operaciones en ellos, estableciendo unos postulados o axiomas
que relacionan tanto al conjunto de elementos como al conjunto de operadores.
En cualquier estructura matemtica, los postulados son las hiptesis iniciales que
la definen y que no se demuestran. Estos postulados son el punto de partida para
deducir los teoremas y propiedades de dicha estructura.
Se pueden utilizar diferentes conjuntos de postulados para definir un algebra de
Boole, aunque uno de los mas utilizados es el propuesto por Huntington en 1904.
Para la construccin de un algebra de Boole, se parte de una estructura algebraica
(B, +,.), formada por un conjunto de elementos B y dos operaciones definidas en
el mismo, denominadas + y . (suma y producto). Se dice que es un algebra de
Boole si cumple los siguientes axiomas, tambin conocidos como postulados de
Huntington:

20/11/2014

ALGEBRA DE BOOLE

43

20/11/2014
HUBERT ARTEAGA MIANO

Postulado I
El conjunto B es cerrado con respecto a las dos operaciones.
Es decir, se cumple que , :
+
.
Postulado II
Existe un elemento identidad en las dos operaciones
En la operacin + el elemento identidad es el 0 y en la operacin . es el 1,
cumplindose que :
+0=
. 1 =
Postulado III
Las dos operaciones cumplen la propiedad conmutativa
Es decir, se cumple que , :
+ =+
. = .

44

20/11/2014
HUBERT ARTEAGA MIANO

Postulado IV
Cada operacin es distributiva con respecto a la otra
Es decir, se cumple que , , :
. + = . + (. )
+ . = + . ( + )
Postulado V
Existe un elemento complementario
Se cumple que existe otro elemento de B llamado complementario de a
que se representa por (la lnea horizontal indica complemento o negacin de a),
siendo:
+ =1
. = 0
Postulado VI. Numero de elementos
En el conjunto B existen al menos dos elementos diferentes, cumplindose que
, :

Se debe tener en cuenta la generalidad de este postulado, que solo establece el


numero mnimo de elementos de B, no precisando ni su numero total, ni el tipo de
estos.

45

HUBERT ARTEAGA MIANO

De los postulados anteriores se deducen un conjunto de propiedades del algebra


de Boole que se indican a continuacin en forma de leyes y teoremas:
1. Principio de Dualidad
Sea E una igualdad entre dos expresiones booleanas y otra igualdad obtenida a
partir de E intercambiando los operadores + y ., y los elementos de identidad 0 y
1. Si E es una identidad (igualdad que se verifica para cualquier valor de sus
variables), , denominada dual de E, tambin lo es.
Nota: El teorema del principio de dualidad es consecuencia de la simetra de los
postulados con respecto a las dos operaciones + y ., y a los dos elementos de
identidad 0 y 1. Cada axioma se define doblemente mediante dos expresiones
duales entre si.
En los siguientes teoremas se omiten las demostraciones de una de las dos partes
duales, dado que es fcil su obtencin aplicando el principio de dualidad.

20/11/2014

TEOREMAS DEL ALGEBRA DE BOOLE

46

HUBERT ARTEAGA MIANO

Demostracin
+ = + .1 =
(Postulado II)
= + . ( + )=
(Postulado V)
= + . =
(Postulado IV)
= + 0=
(Postulado V)
=
(Postulado II)
La segunda expresin de este teorema se demuestra igualmente utilizando los
postulados duales, como ya se ha indicado en el principio de dualidad.
. = . + 0 =
(Postulado II)
= . + (. )=
(Postulado V)
= . + =
(Postulado IV)
= . 1=
(Postulado V)
=
(Postulado II)
Obsrvese como a partir de una de las expresiones ya demostradas de la ley de
idempotencia, si se intercambian los operadores + y ., y los elementos de
identidad 0 y 1, se obtiene la demostracin de la otra expresin dual de la ley de
idempotencia.

20/11/2014

2. Ley de Idempotencia
Para cualquier elemento a es un algebra de Boole, se verifica que:
+ =
. =
Identidad dual.

47

20/11/2014
HUBERT ARTEAGA MIANO

3. Operaciones con elementos identidad


Para cualquier elemento a en un algebra de Boole, se cumple que:
+1=1
. 0 = 0
(Identidad dual)
Demostracin:
+1 = +1 .1 =
(Postulado II)
= + 1 . ( + )=
(Postulado V)
= + 1. =
(Postulado IV)
= + =
(Postulado II)
=1
(Postulado V)
4. Teorema
El complemento de cada elemento es nico.
Demostracin: si + = 1 . = 0 (aplicacin del postulado V), entonces =
=+0=
(Postulado II)
= + . )=
(Hiptesis)
= + . ( + )=
(Postulado IV)
= 1. ( + )=
(Postulado V)
= + . ( + )
(Hiptesis)
= . + =
(Postulado IV)
= 0 + )=
(Postulado V)
=
(Postulado II)

48

20/11/2014

6. Ley de Absorcin
Para cada par de elementos a y b de un algebra de Boole se verifica que:
+ . =
. + =
(Identidad dual)
Demostracin:
+ . ) = . 1 + (. ) (Postulado II)
= . (1 + )=
(Postulado IV)
= . ( + 1)=
(Postulado III)
= . 1
(Expresin de operaciones con elementos de
identidad )
=
(Postulado II)

HUBERT ARTEAGA MIANO

5. Ley de involucin
Para todo elemento a en un algebra de Boole, se verifica que:
=
Demostracin: Por el postulado V se sabe que + = 1 y . = 0, lo que
permite definir el complemento de a.
De dicho postulado se deduce que el complemento de es y de la misma
manera el complemento de es . Como el complemento es nico, se deduce
que =

49

HUBERT ARTEAGA MIANO

En un algebra de Boole las operaciones + y . Son asociativas. Para toda terna de


elementos a, b y c se verifica que:
+ + = + +
. . = . .
(identidad dual)

20/11/2014

En el algebra de Boole se verifica que:


+ . = +
. + = .
(Identidad dual)
Demostracin:
+ . = + . + =
(Postulado IV)
= 1. + =
(Postulado V)
=+
(Postulado II)

50

7. Leyes de Morgan
En un algebra de Boole se verifica que:

Teorema: El complemento de una funcin se obtiene intercambiando las


operaciones + y ., y reemplazando cada variable por su complementario.
, , , , +, . = , , , , . , +

20/11/2014

(Identidad dual)

HUBERT ARTEAGA MIANO

+ + + + = . . . .
. . . = + + + +

51

52

HUBERT ARTEAGA MIANO

20/11/2014

Vous aimerez peut-être aussi