UNIVERSIDAD AUTONOMA DEL ESTADO DE MXICO FACULTAD DE CONTADURA Y ADMINISTRACIN

ALGEBRA DE BOOLE Y COMPUERTAS LOGICAS

Unidad de Aprendizaje: Simulacin de Sistemas Digitales
Docente: Lusbeida Irayda Njera Vallejo

DEFINICIN AXIOMATICA DEL ALGEBRA BOOLEANA

George

Boole en 1854 introdujo un tratamiento sistemtico de lgica y para ello desarrollo un sistema algebraico que hoy en da llamamos lgebra de Boole. C.E. Shannon en 1938 introdujo una lgebra de Boole de dos valores llamada lgebra de conmutacin, donde demuestra que las propiedades de los circuitos de conmutacin elctricas biestables pueden ser representadas por esta lgebra, es otras palabras con esta algebra es posible modelar los llamados Sistemas Digitales.

DEFINICIN AXIOMATICA DEL ALGEBRA BOOLEANA

E.V. Huntington en 1904 formula algunos postulados para la definicin formal del lgebra de Boole. Estos postulados y axiomas no son nicos para definirlo ya que se ha usado otro conjunto de postulados. El lgebra de Boole es una estructura algebraica definida para un conjunto de elementos B juntamente con dos operadores binarios + y *, de tal forma que se satisfagan los siguientes postulados de Huntington:

1.

2.

3.

4.

(a) Conjunto cerrado con respecto al operador +. (b) Conjunto cerrado con respecto al operador *. (a) Un elemento de identidad con respecto a + designado por el 0: x + 0 = 0 + x = x (b) Un elemento de identidad con respecto a * designado por 1: x . 1 = 1 . x = x (a) Conmutativo con respecto a + : x + y = y + x (b) Conmutativo con respecto a * : x . y = y . x (a) * es distributivo sobre + : x . (y + z) = (x . y)

5.

6.

Para cada elemento x B, existe un elemento x B (llamado el complemento de x) tal que : (a) x + x = 1 (b) x . X= 0. Existen al menos dos elementos x, y B tales que x y.

1. 2.

3.

Para tener una lgebra de Boole se debe demostrar: Los elementos del conjunto B, Las reglas de operacin de los dos operadores binarios, y Que el conjunto de elementos B, juntamente con los dos operadores, satisfaga los seis postulados de Huntington. Nuestro inters es en la aplicacin del lgebra de Boole a los circuitos con compuertas.

ALGEBRA BOOLEANA BIVALENTE: Tiene un conjunto de dos elementos 1 y 0, dos operadores binarios con reglas de operacin equivalentes a las operaciones AND y OR y el operador complemento equivalente al operador NOT. PRINCIPIO DE DUALIDAD: Establece que las expresiones algebraicas deducidas de los postulados del lgebra de Boole permanecen vlidos si se intercambian los operadores y elementos de identidad. Si se desea una expresin algebraica dual, se intercambian simplemente los operadores OR AND y se remplaza unos por ceros y ceros por unos.

TEOREMAS BASICOS

Se listan a continuacin seis teoremas del lgebra de Boole y cuatro de sus postulados. Los postulados son axiomas bsicos de la estructura algebraica y no necesitan prueba, los teoremas deben probarse a partir de los postulados. Postulado 2 (a) x + 0 = x (b) x . 1 = x Postulado 5 (a) x + x = 1 (b) x . X = 0 Teorema 1 (a) x + x = x (b) x . X = x Teorema 2 (a) x + 1 = 1 (b) x . 0 = 0 Teorema 3, involucin (x) = x Postulado 3, conmutativo (a) x + y = y + x (b) xy = yx Teorema 4, asociativo (a) x + (y + z)=(x + y) + z (b) x(yz) = (xy)z Postulado 4, distributivo (a) x (y + z) = xy + xz (b) x + yz = (x + y)(x + z) Teorema 5, De Morgan (a) (x + y) = x y (b) (x y) = x + y Teorema 6, absorcin (a) x + xy = x (b) x (x + y) = x

Teorema 1(a): x+x=x x + x = (x + x) . 1 del postulado: = (x + x )(x + x) = x + xx =x+0 =x Teorema 1(b): x.x=x x . x = xx + 0 del postulado: = xx + xx = x(x + x) 4(a) =x.1 =x 2(b) Teorema (2a): x+1=1 x + 1 = 1 . (x + 1) del postulado: = (x + x)(x + 1) = x + x . 1 = x + x = 1 Teorema 2(b): x.0=0 por dualidad

2(b) 5(a) 4(b) 5(b) 2(a) 2(a) 5(b)

5(a)

2(b) 5(a) 4(b) 2(b) 5(a)

Teorema 3:

(x) = x

Del postulado 5, se tiene x + x = 1 y x.x = 0,lo cual define el complemento de x. El complemento de x es x y es tambin (x). As comoel complemento es nico tendremos que (x) = x Teorema 6 (a): x + xy = x x + xy = x . 1 + xy del postulado 2(b) = x (1 + y) 4(a) = x (y + 1) 3(a) =x.1 del teorema 2(a) =x 2(b) Teorema 6(b): x(x + y ) = x por dualidad

Los teoremas del lgebra de Boole pueden demostrarse por medio de las tablas de verdad:

x
Esta tabla de verdad verifica el primer teorema de absorcin

y 0 1 0 1

xy 0 0 0 1

x + xy 0 0 1 1

0 0 1 1

Mediante la tabla de verdad se demuestra la ley asociativa y del teorema de De Morgan.

x 0 0 1 1

y 0 1 0 1

x+y 0 1 1 1

(x + y) 1 0 0 0

X 1 1 0 0

Y 1 0 1 0

xy 1 0 0 0

La Precedencia de operadores para evaluar expresiones booleanas es 1) parntesis 2) NOT, 3) AND y 4) OR

FUNCIONES BOOLEANAS

El lgebra booleana es un lgebra que se ocupa de variables binarias y operaciones lgicas. Una funcin boolena es una expresin formada por una expresin algebraica que consta de variables binarias, de constantes 0 y 1, y los smbolos lgicos de operacin (OR, NOT). Para un valor dado de las variables binarias, la funcin puede ser igual a 1 o bien a 0. ejemplo F1 = X + Y Z

Tabla 2 1 Tablas de Verdad para F1 y F2 F1 = X + Y Z F2 = X Z + X Y X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F1 0 1 0 0 1 1 1 1 F2 0 1 0 1 1 1 0 0

FIGURA 2 -1 IMPLEMENTACIN DE F1 = X + YZ CON COMPUERTAS

Slo hay una forma de representar una funcin boolena en una tabla de verdad. En cambio, cuando la funcin est en forma algebraica, puede expresarse de varias maneras La expresin especfica empleada para desinar la funcin tambin determinar la interconexin de compuertas en el diagrama lgico.

Manipulando una expresin boolena segn las reglas del lgebra booleana, a veces es posible obtener una expresin ms simple para la misma funcin y as reducir el nmero de compuertas del circuito y el nmero de entradas de las compuertas. Ejemplo: F2 = xyz + xyz + xy simplificando F2 = xz(y +y) + xy= xz + xy

FIGURA 2-2A IMPLEMENTACIN DE LA FUNCIN BOOLEANA F2 CON COMPUERTAS (SIN REDUCIR)

A) F2 = XYZ + XY Z +XY

FIGURA 2 2B IMPLEMENTACIN DE LA FUNCIN BOOLEANA F2 CON COMPUERTAS (REDUCIDA) B) F2 = XY+ XZ

MANIPULACIN ALGEBRAICA

Cuando se implementa una expresin booleana con compuertas lgicas, cada termino requiere una compuerta y cada variable dentro del trmino implica una entrada a la compuerta. De finimos una literal como una sola variable dentro de un trmino, que podra estar complementada o no. La funcin de la figura 2-2a) tiene tres trminos y ocho literales, la de la figura 2-2b) tiene dos trminos y cuatro literales. Si reducimos el nmero de trminos, el nmero de literales, o ambas cosas, en una expresin booleana, podra obtenerse un circuito ms sencillo. La manipulacin del lgebra booleana consiste en su mayor parte en reducir una expresin con el objeto de obtener un circuito ms simple.

FORMAS CANONICA Y NORMALIZADA

Trminos Mnimos: n variables formando un trmino AND, con cada variable tildada o no tildada, darn 2n combinaciones posibles llamadas trminos mnimos (minterm) de un producto normalizado. Trminos Mximos: n variables formando un trmino OR, con cada variable tildada o no tildada, darn 2n combinaciones posibles llamadas trminos mximos (maxterm) de las sumas normalizadas. Cualquier funcin de Boole puede ser expresada como una suma de trminos mnimos (por suma se quiere decir la suma OR de los trminos)

Tabla 2-2

Minitrminos y maxitrminos para tres variables binarias

Trminos mnimos

Trminos mximos

Trmino Designacin

Trmino

Designacin

x'y'z'

m0

x + y+ z

M0

0
0 0 1 1 1 1

0
1 1 0 0 1 1

1
0 1 0 1 0 1

x'y'z
x'yz' x'yz xy'z' xy'z xyz' xyz

m1
m2 m3 m4 m5 m6 m7

x + y + z'
x + y' +z x + y' +z' x' + y + z x' + y + z' x' + y' + z x' + y' + z'

M1
M2 M3 M4 M5 M6 M7

POR EJEMPLO, LA FUNCIN EN LA TABLA SE DETERMINA EXPRESANDO LAS COMBINACIONES 001, 100, 111 COMO XYZ, XYZ Y XYZ RESPECTIVAMENTE. COMO CADA UNO DE ESTOS TRMINOS MNIMOS RESULTA EN F1 = 1, SE TIENE:

F1 = xyz + xyz + xyz

= m1 + m4 + m7
F2 = xyz + xyz + xyz + xyz = m3 + m5 + m6 + m7

x 0 0 0 0 1 1 1 1

y 0 0 1 1 0 0 1 1

z 0 1 0 1 0 1 0 1

f1 0 1 0 0 1 0 0 1

f2 0 0 0 1 0 1 1 1

Considrese ahora el complemento de una funcin de Boole. Este puede leerse de una tabla de verdad formando un trmino mnimo por cada combinacin que produce un cero y luego haciendo la funcin OR de esos trminos. El complemento de f1 se lee as: f1 = xyz + xyz + xyz + xyz + xyz Si se obtiene el complemento de f1 se obtiene la funcin f1 : f1 = (x + y + z)(x + y + z)(x + y + z)(x + y + z)(x + y +z) = M0M1M2M4 Estos ejemplos demuestran una segunda propiedad importante del lgebra de Boole: cualquier funcin de Boole puede expresarse como un producto de trminos mximos (por producto se implica el producto AND de los trminos.

El procedimiento para obtener el producto de trminos mximos directamente de una tabla de verdad se logra de la siguiente manera: frmese un trmino mximo para cada combinacin de variables que produzcan un 0 en la funcin y luego forme la funcin AND de todos los trminos mximos. A las funciones de Boole expresadas como una suma de trminos mnimos o producto de trminos mximos se les dice que estn en forma cannica. Suma de trminos mnimos: Algunas veces es conveniente expresar la funcin de Boole en la forma de suma de trminos mnimos. Si no esta en esta forma, se puede llegar a ella expandiendo primero la expresin a una suma de trminos AND. Luego se inspecciona cada trmino para ver si contiene todas las variables. Si le hace falta una o ms variables, se aplica la funcin AND con una expresin tal como x + x, donde x sea una de las variables faltantes. Ejemplo:

Expresar la funcin de Boole F = A + BC La funcin tiene tres variables: A, B y C. Como el primer trmino A no tiene las otras dos variables por tanto: A = A(B + B) = AB + AB Como la expresin carece de una variable: A = AB(C + C) + AB(C + C) = ABC + ABC + ABC +ABC El segundo trmino BC carece tambin de una variable: BC = BC(A+ A) = ABC + ABC Combinando todos los trminos se obtendr: F = A + BC = ABC + ABC + ABC + ABC + ABC + ABC Pero como ABC aparece dos veces, y de acuerdo al teorema 1 (x + x = x), es posible quitar uno de ellos.

Rearreglando los trminos en orden ascendente se obtendr finalmente: F = ABC + ABC + ABC + ABC + ABC + ABC = m1 + m4 + m5 + m6 + m7

Es conveniente algunas veces, expresar la funcin de Boole cuando est compuesta de una suma de trminos por medio de la siguiente forma simplificada: F(A,B,C) = (1,4,5,6,7)
El smbolo de sumatoria implica los trminos a los cuales se les aplica la funcin OR. Los trminos entre parntesis son los trminos mnimos de la funcin. Las letras entre parntesis a continuacin de la F forman la lista de las variables en el orden tomado cuando el trmino mnimo se convierte en un trmino AND.

Producto de trminos mximos: Algunas veces es conveniente expresar la funcin de Boole en la forma de producto de trminos mximos. Para expresar las funciones de Boole como un producto de trminos mximos se debe primero llevar a una forma de trminos OR. Esto puede lograrse usando la ley distributiva x + yz = (x + y)(x + z) y si hay una variable x faltante en cada trmino OR se le aplicar la funcin OR conjuntamente con xx. Ejemplo: Expresar la funcin de Boole F= xy + xz como un producto en la forma de trminos mximos . Primero convertiremos la funcin a trminos OR usando la ley distributiva: F = xy + xz = (xy + x)(xy + z) = (x + x)(y + x)(x + z)(y + z) = (x + y) (x + z)(y + z)

La funcin tiene tres variables: x, y y z. A cada trmino OR le hace falta una variable, por tanto: x + y = x + y + zz = (x + y + z)(x + y + z) x + z = x + z + yy = (x + y + z)(x + y + z) y + z = y + z + xx = (x + y + z)(x + y + z) Combinando todos los trminos y quitando aquellos que aparezcan ms de una vez se obtendr finalmente: F = (x + y + z)(x + y + z)((x + y + z)(x + y + z) = M 0M 2M 4M 5 Una forma conveniente de expresar esta funcin es de la siguiente manera: F (x, y, z) = (0,2,4,5) El smbolo de producto denota la aplicacin de la funcin AND a los trminos mximos. Los nmeros representan los trminos mximos de la funcin.

Conversin entre las formas cannicas: El complemento de una funcin expresada como la suma de trminos mnimos es igual a la suma de los trminos mnimos faltantes de la funcin original. Esto ltimo es debido a que la funcin original es expresada por aquellos trminos mnimos que hacen la funcin igual a 1 mientras que el complemento es un 1 para aquellos trminos mnimos en que la funcin es un cero. Ejemplo: F (A, B, C) = (1,4,5,6, 7) Esta funcin tiene un complemento que puede expresarse as: F (A, B , C) = ( 0, 2 , 3) = m0 + m2 + m3 Ahora s se obtiene el complemento de F por el teorema de De Morgan obtendremos una F de manera diferente: F= (m0 + m2 + m3) = m0m2m3 = M0M2M3 = ( 0, 2, 3) De lo observado es claro que es valida la siguiente relacin: mj = Mj El trmino mximo con suscrito j es un complemento de un trmino mnimo con el mismo suscrito j y viceversa.

Para hacer la conversin de una forma cannica a otra, intercmbiese los smbolos y y lstese aquellos nmeros que faltan en la forma original. Ejemplo: F (x, y, z) = (0, 2, 4, 5) Se expresa como producto de la forma de trminos mximos. Su conversin a la suma de trminos mnimos ser: F (x, y, z) = ( 1, 3, 6, 7) Formas normalizadas: Es otra forma de expresar las funciones de Boole. En esta configuracin, los trminos que forman la funcin deben contener uno, dos o cualquier nmero de literales. Hay dos tipos de formas normalizadas: la suma de productos y el producto de sumas: La suma de productos: es una expresin de Boole que contiene trminos AND llamados trminos producto de uno o ms literales cada uno. La suma denota la aplicacin de la funcin OR de estos trminos. Ejemplo

F1 = y + xy + xyz Esta expresin tiene tres trminos producto de uno, dos y tres literales cada uno, respectivamente. Su suma es en efecto una operacin OR. Un producto de sumas: es una expresin de Boole que contiene trminos OR, llamados trminos suma. Cada trmino puede tener cualquier nmero de literales. El producto denota la aplicacin de la funcin AND a estos trminos. Ejemplo: F2 = x(y + z)(x + y +z + w) Una funcin de Boole puede ser expresada en una forma no normalizada. Ejemplo: F3 = AB + C(D + E) No es ni suma de productos ni producto de sumas. Puede cambiarse a una forma normalizada usando la ley distributiva para quitar el parntesis: F3 = AB + C(D + E) = AB + CD + CE

OTRAS OPERACIONES LGICAS

Para dos variables, n = 2 el nmero de funciones de Boole posibles es 16. Las 16 funciones listadas pueden subdividirse en tres categoras: 1.- Dos funciones que producen una constante 0 1 2.- Cuatro funciones con operaciones unarias de complemento y transferencia.. 3.- Diez funciones con operadores binarios que definen ocho operaciones diferentes AND, OR, NAND, NOR, OR-exclusiva, equivalencia, inhibicin e implicacin. De los ocho operadores binarios, dos (inhibicin e implicacin) son usados por los logistas, pero muy rara vez se usan en lgica de computadoras. Los operadores AND y OR se han mencionado conjuntamente con el lgebra de Boole. Las otras cuatro funciones se usa mucho en el diseo de sistemas digitales.

TABLA 2-3: TABLAS DE VERDAD PARA LAS 16 FUNCIONES DE DOS VARIABLES BINARIAS
x y F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15

Smbolo operador

Funciones de Boole F0 = 0 F1 = F2 = F3 = x F4 = xy F5 = y F6= xy+ xy F7 = x + y F8 = (x + y) F9 = xy + xy F10 = y F11 = x + y F12 = x F13 = x + y F14 = (xy) F15 = 1

Smbolo operador X.y x/y y/x X X+y X x

.

Nombre Nulo AND Inhibicin Transferencia Inhibicin Transferencia

Comentarios Constante binaria 0 xyy X pero no y x y pero no x y x y pero no ambas xy No OR x igual a y No y Si y entonces x No x Si x entonces y No AND Constante binaria 1

OR-exclusiva OR NOR Equivalencia Complemento Implicacin Complemento Implicacin NAND Identidad

y y y

Tabla 2-4 Expresiones Booleanas para las 16 funciones de dos variables

xCy x x y x y

COMPUERTAS LOGICAS DIGITALES

Las funciones booleanas se expresan en trminos de operaciones AND, OR y NOT, es ms fcil implementar una funcin booleana con estos tipos de compuertas. Los factores a considerar al investigar la construccin de otros tipos de compuertas lgicas son: 1) La factibilidad y economa de producirla compuerta con componentes fsicos 2) La posibilidad de extender la compuerta a ms de dos entradas 3) Las propiedades bsicas del operador binario, como commutatividad y asociatividad 4) La capacidad de la compuerta para implementar funciones booleanas solas o junto con otras compuertas.

De las 16 funciones definidas en la tabla 2-3, dos son iguales a una constante y cuatro se repiten dos veces. Solo quedan diez funciones que considerar como candidatas para compuertas lgicas. Dos inhibicin e implicacin- no son conmutativas ni asociativas, por lo que no resulta prctico su uso como compuertas lgicas estndar. Las otras ocho: complemento, transferencia, AND, OR, NAND, NOR, OR exclusivo y equivalencia se emplean como compuertas estndar en diseo digital.

EXTENSIN A MLTIPLES ENTRADAS

Las compuertas que se muestran en la figura 2-3 -con excepcin del inversor y el bfer- se pueden extender de modo que tengan ms de dos entradas. Es posible extender una compuerta a mltiples entradas si la operacin binaria que representa es conmutativa y asociativa. Las operaciones AND y OR, definidasen el algebra booleana,poseen esas dos propiedades. Las funciones NAND y NOR son conmutativas, y sus compuertas se extienden a ms de dos entradas, si se modifica ligeramente la definicin de la operacin.

El problema radica en que los operadores NAND y NOR no son asociativos [es decir, (x y) z = x (y z) ], como se indica en la figura 2-4 y en las ecuaciones siguientes: (x y) z = [(x + y) + z] = (x + y)z= xz+ yz x (y z) = [x + (y + z)]= x(y + z) = x + xz Para superar este problema, definimos la compuerta NOR (o NAND) mltiple como una compuerta OR (o AND) complementada. As por definicin, tenemos x y z = ( x + y + z ) x y z = ( xyz ) Los smbolos grficos para las compuertas de tres entradas se incluyen en la figura 2-5. Al escribir operaciones NOR y NAND en cascada, hay qe usar los parntesis correctos para indicar el orden en que deben ir las compuertas

Para demostrar esto, consideremos el cirucito dela figura 2-5c la funcin boolena del cirucito se escribe as: F = [(ABC)(DE)]= ABC + DE La segunda exprsin se obtiene del teorme DeMorgan, y tambin demuestra que una expresin en forma de suma de productos se puede implementar con compuertas NAND. LAS COMPUERTAS OR EXCLUSIVO Y DE EQUIVALENCIA son tanto conmutativas como asociativas y se pueden extender a ms de dos entradas, no obstante, las compuertas OR exclusivo de varias entradas son poco comunes en hardware, de hecho, incluso la funcin de dos entradas sule construirse con otros tipos de compuertas , adems, es preciso modificar la defincin de la funcin al extenderla a ms de dos variables. El OR exclusivo es una funcin impar, es decir, es igual a 1 si las variables de entrada tienen un nmero impar de unos.

En la figura 2-6 se representa la construccin de una funcin OR exclusivo de tres entradas, aunque normalmente se la implementa conectando en cascada compuertas de dos entradas, como se observa en a), grficamente el OR exclusivo se representa con una sola compuerta de tres entradas, como en b). La tabla de verdad de c) indica claramente que la salida de F es igual a 1 si slo una entrada es 1 o si las tres entradas son 1, es decir, si el nmero total de unos en la variable de entradas es impar.

LGICA POSITIVA Y NEGATIVA

La seal binaria en las entradas y salidas de cualquier compuerta tiene uno de dos valores, excepto durante una transicin. Un valor de seal representa el 1 lgico, y el otro, el 0 lgico, puesto que se asignan dos valores de seal a dos valores lgicos, puede haber dos asignaciones distintas de nivel de seal a valor lgico, como se indica en la figura 2-7

El nivel de seal ms alto se designa con H, y el ms bajo, con L Si escogemos el nivel alto H para representar el 1 lgico, estaremos definiendo un sistema de lgica positiva. Si escogemos el nivel bajo L para representar el 1 lgico, definiremos un sistema de lgica negativa. No son los valores reales de la seal lo que determina el tipo de lgica, sino ms bien la asignacin de valores lgicos a las amplitudes relativas de los dos niveles de seal. Las compuertas digitales en hardware se definen en trminos de valores de seal como H y L. Corresponde al usuario decidir si la polaridad de la lgica va a ser positiva o negativa.

Los pequeos tringulos en las entradas y la salida de la figura 2-10 son indicadores de polaridad, la presencia de este indicador de polaridad en una terminal implica que se est suponiendo lgica negativa para la seal. La conversin de lgica positiva a lgica negativa, y viceversa, es bsicamente una operacin que cambia los unos a ceros y los ceros a unos tanto en las entradas como en la salida de la compuerta. Puesto que esta operacin produce el dual de una funcin, el cambio de todas las terminales, de una polaridad a la otra, equivale a tener el dual de la funcin. El resultado de esta conversin es que todas las operaciones AND se convierten en operaciones OR (o smbolos grficos) y viceversa, adems, no debemos olvidarnos de incluir el tringulo indicador de polaridad en los smbolos grficos cuando se supone logica negativa.

COMPUERTAS LGICAS
NOMBRE SIMBOLO FUNCIN

COMPUERTAS LGICAS

Compuerta AND: Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B estn en 1.

COMPUERTAS LGICAS

Compuerta AND: El smbolo de operacin algebraico de la funcin AND es el mismo que el smbolo de la multiplicacin de la aritmtica ordinaria (*). Las compuertas AND pueden tener ms de dos entradas y por definicin, la salida es 1 si todas las entradas son 1.

COMPUERTAS LGICAS

Compuerta OR: La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin la salida es 1 si cualquier entrada es 1.

COMPUERTAS LGICAS

Compuerta NOT: El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. El crculo pequeo en la salida de un smbolo grfico de un inversor designa un inversor lgico. Es decir cambia los valores binarios 1 a 0 y viceversa.

COMPUERTAS LGICAS

Compuerta NAND: Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal). La designacin NAND se deriva de la abreviacin NOT - AND. Una designacin ms adecuada habra sido AND invertido puesto que es la funcin AND la que se ha invertido. Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin AND.

COMPUERTAS LGICAS

Compuerta NOR: La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR.