República Bolivariana de Venezuela

Ministerio del Poder Popular Para la Educación

Universidad Nacional Experimental Politécnica de las Fuerzas Armadas

UNEFA – Catia La Mar. Estado La Guaira

Circuitos Lógicos.

Algebra de Boole

Profesor: Realizado Por:

Jackmary Henriquez *Carlos Carrión. V- 27.684.660.

Catia La Mar, de octubre de 2020

 Definición del Algebra Booleana
Es una rama especial del álgebra que se usa principalmente en electrónica digital.
El álgebra booleana fue inventada en el año 1854 por el matemático inglés George
Boole.

El álgebra de Boole es un método para simplificar los circuitos lógicos (o a veces

llamados circuitos de conmutación lógica) en electrónica digital.

Por lo tanto, también se llama como "Cambio de álgebra". Podemos representar

el funcionamiento de los circuitos lógicos utilizando números, siguiendo algunas
reglas, que son bien conocidas como "Leyes del álgebra de Boole".

Para comprender qué es el álgebra booleana es necesario entender el concepto

de álgebra y saber quién fue George Boole.

Sobre el álgebra, podemos decir que es la rama de las matemáticas que apela a
la generalización de las operaciones aritméticas utilizando signos, letras y
números. Estos elementos se encargan de la representación de entidades
matemáticas mediante el simbolismo.

El británico George Boole (1815-1864), por su parte, fue un destacado

matemático que está considerado como uno de los pioneros en el desarrollo de
las ciencias de la computación. Sus aportes teóricos dieron lugar a la
especialización que se conoce como álgebra de Boole o álgebra booleana.

Puede decirse que el álgebra booleana apela a nociones algebraicas para el

tratamiento de enunciados de la lógica proposicional. Las operaciones más
habituales son las binarias, que requieren de dos argumentos. Se llama conjunción
lógica al resultado verdadero que se obtiene cuando los dos enunciados son
verdaderos: si A es verdadero y B es verdadero, la conjunción de A y B será
verdadera.

Definición Axiomática del Algebra Booleana.

En 1854, George Boole introdujo un tratamiento sistemático de la lógica y
desarrolló para este propósito un sistema algebraico que ahora se conoce como
álgebra booleana.

En 1938, C.E. Shannon introdujo un álgebra booleana de dos valores, denominada

álgebra de interruptores, en la cual demostró que las propiedades de los circuitos
eléctricos y estables con interruptores pueden representarse con esta álgebra.
Para la definición formal del álgebra booleana se emplean los postulados
formulados por E. V. Huntington en 1904.

Estos postulados o axiomas no son únicos para definir el álgebra booleana. Se

han usado otros conjuntos de postulados. Revisemos de qué se trata esto

Teoremas:
Su demostración se puede realizar algebraicamente mediante la llamada tabla de
verdad.

La tabla de verdad de una expresión algebraica binaria representa los valores que
dicha expresión puede tomar para cada combinación, de estados de las variables
que forman parte de la misma. Dos expresiones algebraicas que tienen la misma
tabla de verdad son equivalentes.

También podemos hacer los cálculos y las operaciones lógicas de los circuitos aún
más rápido siguiendo algunos teoremas, que se conocen como "Teoremas del
álgebra de Boole". Una función booleana es una función que representa la
relación entre la entrada y la salida de un circuito lógico.

La lógica booleana solo permite dos estados del circuito, como True y False. Estos
dos estados están representados por 1 y 0, donde 1 representa el estado
"Verdadero" y 0 representa el estado "Falso".

Lo más importante para recordar en el álgebra de Boole es que es muy diferente

al álgebra matemática regular y sus métodos. Antes de aprender sobre el álgebra
de Boole, vamos a contar un poco sobre la historia del álgebra de Boole y su
invención y desarrollo.

Derivados de las propiedades fundamentales, existe una serie de teoremas muy

interesantes e importantes que usaremos a lo largo de todo el curso. Algunos los
utilizaremos en la teoría y otros para los problemas.

Asociativa:

A + B + C = (A + B) + C = A + (B + C)

A * B * C = (A * B) * C = A * (B* C)

Idempotencia:

B+B=B
 B*B=B

Ley de absorción:

A+A*B=A

A * (A + B) = A

Este teorema es muy importante puesto que nos permite realizar simplificaciones
en las expresiones.

Teoremas de De Morgan:
Teorema 1: Cada identidad deducida de los anteriores postulados del álgebra de
Boole permanece válida si la operación + y . y los elementos 0 y 1 se intercambian
entre sí.

Este principio, llamado de dualidad, se deduce inmediatamente de la simetría

de los cuatro postulados con respecto a ambas operaciones y ambos elementos
neutros.

Teorema 2: Para cada elemento a de un álgebra de Boole se verifica:

a+1=1 a.0=0

Teorema 3: Para cada elemento a de un álgebra de Boole se verifica:

a+a=a a.a=a

Teorema 4: Para cada par de elementos de un álgebra de Boole a y b, se verifica:

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

Esta ley se llama de absorción.

Teorema 5: En álgebra de Boole, las operaciones suma y producto son asociativas:

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

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

Teorema 6: Para todo elemento ā de un álgebra de Boole se verifica:

ā=a
 Propiedades del Algebra de Boole.
a) Las expresiones booleanas poseen las siguientes propiedades:

Están compuestas de literales (A, B, C) y cada una de ellas presenta la señal de

sensor.

Ejemplo:

F=A`BD+AB`CD.

b) El valor de la señal o de la función solo puede ser (0 o 1), falso o verdadero.

Además de literales, en las expresiones booleanas se puede tener el valor de
(0 o 1). Serian

Ejemplo:

F=A`BD1+AB`CD+0

c) Las literales de las expresiones booleanas pueden estar conectadas por

medio de los operadores lógicos AND (^), OR (or), Y NOT (`).

El operador AND es una multiplicación lógica que se indica por medio de un

paréntesis, un punto o simplemente poniendo juntas las variables que se
multiplican por ejemplo: el producto de A y B se expresa como (A) (B)=AxB=AB; el
OR es una suma lógica que se indica con el signo +; y el operador NOT es el
complemento o negación de una señal que se indica por un apostrofo (`).

Funciones booleanas:
Las operaciones con variables booleanas se pueden componer para formar
funciones. Una función es por tanto una expresión que contiene operaciones
booleanas. Para unos valores dados de las variables booleanas la expresión se
puede evaluar obteniendo un resultado. Un ejemplo de una función booleana de
tres variables es:

F: (a, b, c)  F: (a, b, c): c (a + b)

La función puede definirse de forma explícita dando los valores que toma para
cada posible combinación de entradas. Esta representación se llama TABLA
DE VERDAD. Para el ejemplo anterior la tabla de verdad se muestra en la
figura 3.5. Además, se ha dibujado un circuito con interruptores que realiza la
misma función. Puede comprobarse que el estado de la lámpara L viene
determinado completamente por el valor de las variables a y b a través de
la tabla de verdad.

Es interesante observar que La tabla de verdad, el circuito lo´gico y la

expresión analítica f (a, b, c) = c(a + b) proporcionan la misma información; es
decir, son tres representaciones de una misma cosa. De este modo es
posible pasar de cualquiera de ellas a las demás como se muestra a
continuación.

L = f(a,b,c) = c (a+b)

a b c L

0 0 0 0 a
0 0 1 0 c
0 1 0 0
0 1 1 1
1 0 0 0
b
1 0 1 1
1 0 0
1
1 1 1
1

Ejemplo de función booleana, tabla de verdad y circuito con interruptores.

Funciones lógica. Formas canónicas de una función.

Entre todas las posibles representaciones algebraicas existen dos especialmente

interesantes denominadas formas canónicas, normales o estándares, que
permiten establecer una relación directa con la tabla de verdad de la función.

las formas canónicas están formadas por términos canónicos. Los términos
canónicos se caracterizan porque todas las variables de la función,
complementadas o no, aparecen en cada uno de ellos. Los términos canónicos
pueden ser sumas canónicas o productos canónicos. Para una función de tres
variables F(x, y, z) serían ejemplos de sumas canónicas los términos x+y+z, x'+y+z';
ejemplos de productos canónicos son: xy'z, x'y'z.

Las dos formas canónicas reciben el nombre de primera y segunda forma

canónica. La primera forma es una suma de productos canónicos mientras que la
segunda es un producto de sumas canónicas.
 - Primera forma canónica.

Está formada por una suma de productos canónicos, esto son productos que
contienen las variables de la función en su forma "normal" o complementada.

Se establece una relación directa entre los productos canónicos y las variables de
entrada, cuyo valor será (1) sólo para esa combinación y (0) para todas las demás.

Para obtener el producto canónico de valor (1) asociado a una combinación de

variables de entrada determinada, basta con seguir la siguiente regla: aquellas
variables que tomen valor (1) se representan de forma natural en el producto
canónico, mientras que aquellas variables que tomen valor (0) se representan de
forma complementada. Así para una función de tres variables de entrada F(x, y, z)
a la combinación: x=0, y=1, z=0 le corresponde el producto canónico: x'yz'.

Para obtener la primera forma canónica de la función partiendo directamente de

la tabla de verdad sólo hay que sumar aquellos productos canónicos que
corresponden a combinaciones de las variables de entrada para las que la salida
vale (1).

Ejercicio resuelto:

Para el circuito de la figura:

a) Obtén su función lógica directamente del circuito.
b) Obtén su tabla de verdad.
c) Obtén su función lógica en su primera forma canónica.

a. F = ((a + b) b)'
b. Tabla

B F
a c. Una vez deducida su tabla de verdad, obtenemos su expresión como
00 suma de productos, mini-términos o primera forma canónica. ¿Cómo?
01 Tomando aquellas expresiones de F que la hacen valer "1":
10
11 F = a'b' + ab'; donde: a'=0, b'=0 y a=1.
1
0
0 - Segunda forma canónica.

Está formada por un producto de sumas canónicas, esto es, sumas que contienen
todas las variables de entrada de la función, ya sea en su forma natural o
complementada. Así pues, para una función con tres variables de entrada, F(x, y,
z), una suma canónica tiene que contener a las variables z, y, z en su forma
natural o complementada. Ejemplos de sumas canónicas son: z+y+z', z'+y+z,
z+y'+z',...

De forma análoga a lo que ocurría con los productos canónicos se establece una
relación entre las sumas canónicas y las variables de entrada de la función.

El valor de la suma canónica será (0) para una sola combinación de las variables de
entrada, mientras que para el resto será (1). Esto permite establecer una
correspondencia entre las combinaciones de las variables de entrada de una tabla
de verdad y las sumas canónicas. Cada combinación de las variables de entrada se
asocia a aquella suma canónica que valga (0) para los valores que toman las
variables de entrada en esa combinación concreta.

Para obtener la suma canónica que le corresponde a una combinación de las

variables de entrada, cada una de las variables de entrada que tome valor (1) en
esa combinación se representa en su forma complementada y cada variable que
tome valor (0) se representa en su forma natural. Así para una función de tres
variables de entrada F(x, y, z) a la combinación: x=0, y=1, z=0 le corresponde el
producto canónico: x+y'+z.

Para obtener la segunda forma canónica de la función partiendo directamente de

la tabla de verdad sólo hay que multiplicar aquellas sumas canónicas que
corresponden a combinaciones de las variables de entrada para las que la salida
vale (0).

Ejercicio resuelto:

F(x, y) = xy' + x'y + x'y'

F(x, y, z) = xy'z + x'y'z + xyz'
F(x, y, z) = (x+y'+z)·(x+y+z')

Como observamos en los ejemplos anteriores, en todas las funciones aparecen

todas las variables, al menos una vez, complementadas o en su forma natural.

A los términos de la primera forma canónica se les denomina: mini-términos,

términos producto o productos canónicos. A los términos de la segunda forma
canónica se les denomina: maxi-términos, términos suma o sumas canónicas.

Mini-términos: términos en los que las variables lógicas están relacionadas entre
sí mediante el producto lógico "·", y éstos a su vez están sumados. (Vulgarmente
se dice que una función compuesta por mini-términos es una "función suma de
productos").
F(x, y) = xy' + x'y + x'y'. (Siendo xy', x'y, x'y' mini-términos).

F(x, y, z) = xy'z + x'y'z + xyz'. (Siendo xy'z, x'y'z, xyz' mini-términos).

Maxi-términos: términos en los que las variables lógicas están relacionadas entre
sí mediante "+", y éstos a su vez están multiplicados. (Vulgarmente se dice que
una función compuesta por maxi-términos es una "función producto de sumas").

F(x, y, z) = (x+y'+z)·(x+y+z'). (Siendo (x+y'+z),(x+y+z') maxi-términos).

Formas normalizadas:

Son formas que responden al esquema de suma de productos o producto de

sumas. Suelen tener menor número de operaciones que las formas canónicas.
Para una función algebraica concreta, es de menos operaciones siguiendo esos
mismos esquemas, pueden existir varias formas normalizadas para una misma
función.

Literal: unidad que se refiere a una variable o su invertida.

Suma de productos: Es una suma de distintos términos, donde en todos ellos se

realiza exclusivamente el producto de distintos literales.

F1 = xy + x’yz + xy’z

Producto de sumas: Es un producto de distintos términos, donde en cada uno de

ellos se realiza exclusivamente la suma de distintos literales.

F2 = (x’ + y’) + (x + y’ + z’) + (x’ + y + z’)

Se pueden obtener tomando como referencia una forma canónica y combinando

términos que se distingan en un único literal.

F1 = xyz + xyz’ + xy’z + x’yz

F1 = xyz + xyz’ + xyz + xy’z + xyz + x’yz
F1 = xy(z + z’) + x(y + y’)z + (x + x’)yz
F1 = xy + xz + yz

Formas no Normalizadas:
Las que se suelen emplear son las derivadas de las normalizadas realizando
factorización, generalmente necesitan menos operaciones que las normalizadas.
F1 = xy + xz + yz
F1 = x (y + z) + yz
F1 = xy + z (x + y)
F1 = (x + z)y + xz

Operaciones lógicas binarias:

La lógica binaria es la que trabaja con variables binarias y operaciones lógicas del
Álgebra de Boole. Así, las variables sólo toman dos valores discretos, V
(verdadero) y F (falso), aunque estos dos valores lógicos también se pueden
denotar como sí y no, o como 1 y 0 respectivamente.

Lo que comúnmente en lógica es falso o verdadero, en la lógica binaria lo vemos

representado mediante dígitos utilizando exclusivamente los valores 0 y 1,
números que de por sí no tienen un valor numérico de tipo Real, sino más bien de
tipo discreto; es decir, 0 y 1 representan distintos estados del objeto de estudio,
por ejemplo, a la hora de poder desarrollar un circuito digital.

Los circuitos digitales funcionan generalmente bajo tensiones de 5 voltios en

corriente continua (por ejemplo la tecnología TTL) si bien existen excepciones
como la serie CMOS, que trabaja en diferentes rangos que pueden ir desde los 4 a
los 18 voltios.

Generalmente, el estado lógico 0 representa una ausencia de tensión, o un nivel

bajo; y el estado lógico 1 representa una existencia de tensión, o un nivel alto.
Mediante la combinación de estos valores, es posible generar una serie de datos
convertible a cualquier código utilizando la normativa aplicable en cada caso.

Tablas de verdad de las operaciones binarias fundamentales:

a) Negación lógica o complemento:

Es una función unaria que invierte el valor lógico de su argumento, por lo que
también se llama función NOT, del inglés "no". Puede interpretarse además como
restar el valor del argumento (a 1), por lo que a veces se conoce como resta
lógica.

Notación: Suele simbolizarse por una barra horizontal sobre su argumento (ā) o
añadiendo un apóstrofo a continuación de él (a').

Evaluación
0̄ = 1
1̅ = 0

b) Unión o suma lógicas:

Es una función de varios argumentos que vale (0) sólo si todos sus argumentos
valen (0). En el resto de casos vale (1). Equivale a la suma porque sólo hay dos
valores posibles, (0) y (1), por lo (1+1) sigue resultando (1).

Notación: Suele representarse como un operador binario entre sus argumentos,

simbolizado (+) o bien (OR) de la conjunción inglesa "o".

Evaluación:

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

c) Intersección, producto o multiplicación lógicos:

Es una función de varios argumentos que vale (1) sólo si todos sus argumentos
valen (1). En el resto de casos vale (0) Equivale a la multiplicación.

Notación: Así como la unión lógica, suele representarse como un operador binario
entre sus argumentos, simbolizado por (*) o bien por (AND) de la conjunción
inglesa "y".

Evaluación:

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

d) Operaciones lógicas compuestas:

Siguiendo el Álgebra de Boole, se pueden combinar estas operaciones empleando

varias variables y obteniendo resultados más complejos. A continuación, una tabla
de verdad de una operación lógica compuesta.

Ejemplo: A · (B + C)

A B C A * (B +C)
 1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 0

Compuertas lógicas Digitales:

Una compuerta lógica es un dispositivo utilizado en Electrónica Digital que trabaja

con estados lógicos tanto en sus entradas como en salidas, posee características
especiales individuales que corresponden a leyes aritméticas. Las entradas de
estos dispositivos se acostumbra representarlas con las primeras letras del
alfabeto y las salidas con las últimas.

Internamente una compuerta está formada por transistores, que se encuentran

con arreglos especiales de manera que la función operacional coincida con la
definición de cada una de ellas. Cada compuerta tiene asociada una tabla de
verdad, que expresa en forma escrita el estado de su salida para cada
combinación posible de estados en sus entradas.

Ya que las compuertas tienen una o más entradas, la tabla de verdad se acomoda
para formar una representación gráfica de sus resultados. También es notable que
una tabla de verdad no sea solamente para una compuerta específica sino que
puede ser para un circuito formado por varias compuertas combinándose entre
ellas, que proporcionan un resultando para combinación de entradas.

A B C Salida
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

Las compuertas además de tener un símbolo esquemático que las distingue posee
una expresión representativa para cada una de ellas, a dicha expresión se le
conoce como expresión booleana y consiste en proporcionar una información de
la operación que realiza.

Familia de Circuitos lógicos Digitales:

Todos los circuitos cuyos componentes realizan operaciones análogas a las que
indican los operadores lógicos se llaman "Circuitos Lógicos" o "circuitos digitales".

Los Circuitos Lógicos están compuestos por elementos digitales como la

compuerta AND (Y), compuerta OR (O), compuerta NOT (NO) y otras
combinaciones muy complejas de los circuitos que veremos a continuacion.

Compuerta And:

Con dos o más entradas, esta compuerta realiza la función de la multiplicación. Su

salida será un 1 cuando todas sus entradas también estén en nivel alto. En
cualquier otro caso, la salida será un 0.

El operador AND se lo asocia a la multiplicación, de la misma forma que al

operador SI se lo asociaba a la igualdad. En efecto, el resultado de multiplicar
entre sí diferentes valores binarios solo dará como resultado 1 cuando todos ellos
también sean 1, como se puede ver en su tabla de verdad. Matemáticamente se
lo simbolizará con el signo x.

Compuerta Or:

La función que realiza la compuerta OR es la asociada a la suma, y

matemáticamente la expresamos como +. Esta compuerta presenta un estado
alto en su salida cuando al menos una de sus entradas también está en estado
alto.

En cualquier otro caso, cuando todas sus entradas son 0 la salida será 0. Tal como
ocurre con otras compuertas, el número de entradas puede ser mayor a dos.
Compuerta Not:

Esta compuerta presenta en su salida un valor que es el opuesto del que está
presente en su única entrada. En efecto, su función es la negación, y el círculo en
la salida significa que proporciona el estado opuesto.

Se utiliza cuando es necesario tener disponible un valor lógico opuesto a uno

dado. La figura muestra el símbolo utilizado en los esquemas de circuitos para
representar esta compuerta, y su tabla de verdad. A menudo se le conoce como
inversor.

Compuerta Exor:

La compuerta Or exclusiva realiza la operación lógica correspondiente a

comparación, es decir, una de las entradas deben estar en 1 y la otra en 0 para
que la salida sea 1.

En caso de que ambas entradas estén al mismo nivel lógico la salida pasará a 0.
Nótese que en la expresión booleana el signo + está rodeado por un circulo.

Compuerta Nand:
Cualquier compuerta lógica se puede negar, esto es, invertir el estado de su
salida, simplemente agregando una compuerta NOT que realice esa tarea. Debido
a que es una situación muy común, se fabrican compuertas que ya están negadas
internamente.

La compuerta NAND es simplemente la negación de la compuerta AND vista

anteriormente. Esto modifica su tabla de verdad, de hecho la invierte (se dice que
la niega) quedando que la salida solo será un 0 cuando todas sus entradas estén
en 1.

El pequeño círculo en su salida es el que simboliza la negación. El numero de

entradas debe ser como mínimo de dos, pero no es raro encontrar NAND de 3 o
más entradas.

Compuerta Nor:

Una compuerta Nor es la negación de una compuerta Or, obtenida agregando una
etapa Not en su salida. Si se observa su tabla de verdad, la salida de una
compuerta Nor es 1 solamente cuando todas sus entradas son 0. La negación se
expresa en los esquemas mediante un círculo en la salida. El número de entradas
también puede ser mayor a dos.

Compuerta Exnor:

Una compuerta Exnor (XNOR) no es más que una Exor con su salida negada, por lo
que su salida estará en estado alto solamente cuando sus entradas son iguales, es
decir tengan el mismo nivel lógico y la salida estará en estado bajo para cuando
las entradas estén a diferente nivel lógico.
Compuerta Yes:

Realiza la función booleana de la igualdad. Su tabla de verdad es también sencilla:

la salida toma siempre el valor de la entrada. Esto significa que si en su entrada
hay un nivel de tensión alto, también lo habrá en su salida; y si la entrada se
encuentra en nivel bajo, su salida también estará en ese estado.

En electrónica, generalmente se utilizan compuertas Yes para aumentar el nivel

lógico cuando ya está débil, como si fueran amplificadores (buffers en ingles).