Informática de Sistemas y Ensamblaje

Ing. Victor Hugo Ticonipa Ch.

Tema
ÁLGEBRA DE BOOLE

ÁLGEBRA DE BOOLE

El álgebra de Boole es una rama especial del álgebra que se usa principalmente en
electrónica digital. Fue inventada en el año 1854 por el matemático inglés George Boole.

VHTC
El álgebra de Boole se basa en la lógica proposicional y se utiliza para representar un
circuito lógico en forma de ecuaciones y es un método para simplificar los circuitos lógicos
en electrónica digital. En otras palabras, se trata de una herramienta que sirve para
representar, resolver y simplificar cualquier problema que se encuentre en los sistemas
digitales.

El álgebra de Boole es esencial en programación, especialmente en el desarrollo de

algoritmos y estructuras de control condicional. Permite evaluar condiciones, tomar
decisiones y controlar el flujo de ejecución de un programa.

Se puede representar el funcionamiento de los circuitos lógicos utilizando números,

siguiendo algunas reglas conocidas como "Leyes del álgebra de Boole". También se
puede hacer cálculos y operaciones lógicas de los circuitos aún más rápido siguiendo los
"Teoremas del álgebra de Boole".

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".
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

Historia del álgebra de Boole

Como se mencionó anteriormente, el álgebra de Boole se inventó en el año de 1854, por

el matemático inglés George Boole. Primero declaró la idea del álgebra de Boole en su
libro "Una investigación de las leyes del pensamiento".

Después de esto, el álgebra de Boole es bien conocida como la forma perfecta para
representar los circuitos lógicos digitales.

A fines del siglo XIX, los científicos Jevons, Schroder y Huntington utilizaron este
concepto para términos modernizados. Y en el año de 1936, MHStone demostró que el
álgebra de Boole es 'isomorfo' para los conjuntos (un área funcional en matemáticas).

En la década de 1930, un científico llamado Claude Shannon desarrolló un nuevo método

de álgebra tipo "Cambio de álgebra" utilizando los conceptos de álgebra de Boole, para
estudiar los circuitos de conmutación.

La síntesis lógica de las herramientas modernas de automatización electrónica se

VHTC
representa de manera eficiente mediante el uso de funciones booleanas conocidas como
"Diagramas de decisión binarios".

OPERADORES
Operador AND (·)
A B A·B
0 0 0
0 1 0
1 0 0
1 1 1

Operador OR (+)
A B A+B
0 0 0
0 1 1
1 0 1
1 1 1

Operador NOT ( ̅ )
A ̅
𝐀
0 1
1 0
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

PROPIEDADES, POSTULADOS, TEOREMAS Y LEYES DEL ÁLGEBRA BOOLEANA

Al formular expresiones matemáticas para circuitos lógicos es importante tener

conocimiento del álgebra booleana, que define las reglas para expresar y simplificar
enunciados lógicos binarios.

Una barra sobre un símbolo indica la operación booleana NOT, que corresponde a la
inversión de una señal.

Postulados
Forma OR Forma AND
Elemento nulo A+0=A A·1=A
Identidad A+1=1 A·0=0
Idempotencia A+A=A A·A=A
Complemento o inverso ̅=1
A+𝐀 ̅=0
A·𝐀

VHTC
Propiedades
Forma OR Forma AND

Propiedad conmutativa A+B=B+A A∙B=B∙A

Propiedad asociativa (A + B) + C = A + (B + C) (A ∙ B) ∙ C = A ∙ (B ∙ C)

Propiedad distributiva A ∙ (B + C) = (A ∙ B) + (A ∙ C) A + (B ∙ C) = (A + B) ∙ (A + C)

Teoremas, Leyes
Forma OR Forma AND
Absorción A + (A ∙ B) = A A ∙ (A + B) = A

Consenso ̅·B=A+B
A+𝐀 ̅ + B) = A · B
A · (A

Ley De Morgan ̅̅̅̅̅̅̅̅

𝐀+𝐁 =𝐀 ̅ ·𝐁
̅ ̅̅̅̅̅̅
𝐀·𝐁=𝐀 ̅ +𝐁
̅

Ley de Involución o doble negación ̿=𝐀

𝐀

Algunas demostraciones

A + (A ∙ B) = A Para demostrar esta igualdad se saca factor común de la variable A:

A + A · B = A (1 + B); Como (1 + B) = 1, Resulta: A + A · B = A · 1 = A

A ∙ (A + B) = A A · (A + B) = A, aplicando la propiedad distributiva:

A · (A + B) = A · A + A · B = A + A · B = A

̅·B=A+B
A+A ̅ · B = (A + A
A+A ̅) · (A + B) = 1 · (A + B) = A + B

̅ + B) = A · B
A · (A ̅) = B · A + B · B
B · (A + B ̅=B·A+0=B·A=A·B

Leyes de Morgan Demostración mediante tablas de verdad

Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

FUNCIÓN LÓGICA O FUNCIÓN BOOLEANA

Se define Función Lógica (Booleana) a toda variable binaria cuyo valor depende de una
expresión formada por otras variables binarias relacionadas mediante los signos + y · Por
ejemplo: F = (A·B) + (B·C), siendo F la función, mientras que A, B y C son las variables.

Existen distintas formas de representar una función lógica, entre las que podemos
destacar las siguientes:

 Algebraica
 Por tabla de verdad
 Numérica
 Gráfica

Forma Algebraica
Se utiliza cuando se realizan operaciones algebraicas. A continuación, se ofrece un ejemplo
con distintas formas en las que se puede expresar algebraicamente una misma función de

VHTC
tres variables.

1. F = [(A + BC’)’ + ABC]’ + AB’C

2. F = A’BC’ + AB’C’ + AB’C + ABC’

3. F = (A + B + C) · (A + B + C’) · (A + B’ + C’) · (A’ + B’ + C’)

4. F = BC’ + AB’

Donde:

- La expresión 1. puede proceder de un problema lógico planteado o del paso de unas

especificaciones a lenguaje algebraico.

- Las formas 2. y 3. reciben el nombre expresiones canónicas: de suma de productos, la

2, y de productos de sumas la 3.; su característica principal es la aparición de cada una
de las variables (A, B y C) en cada uno de los sumandos o productos.

Forma por tabla de verdad

Una tabla de verdad contiene todos los valores posibles de una función lógica dependiendo
del valor de sus variables. El número de combinaciones posibles para una función de n
variables vendrá dado por 2n. Una función lógica puede representarse algebraicamente de
distintas formas como acabamos de ver, pero solo tiene una tabla de verdad.

La siguiente tabla corresponde a la función lógica: F = A’BC’ + AB’C’ + AB’C + ABC’

Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

La forma más cómoda para ver la equivalencia entre una tabla de verdad y una expresión
algebraica es cuando esta última se da en su forma canónica. Así, la función canónica de
suma de productos (o forma canónica disyuntiva)

F = A’BC’ + AB’C’ + AB’C + ABC’

nos indica que será 1 cuando lo sea uno de sus sumandos, lo que significa que tendrá por

VHTC
lo tanto cuatro combinaciones que lo serán (010 para A’BC’, 100 para AB’C’, 101 para AB’C
y 110 para ABC’) siendo el resto de combinaciones 0. Con la función canónica de producto
de sumas (o forma canónica conjuntiva) se puede razonar de forma análoga, pero en este
caso observando que la función será 0 cuando lo sea uno de sus productos.

Forma Numérica
La representación numérica es una forma simplificada de representar las expresiones
canónicas. Si consideramos el criterio de sustituir una variable sin negar por un 1 y una
negada por un 0, podremos representar el término, ya sea una suma o un producto, por
un número decimal equivalente al valor binario de la combinación. Por ejemplo, los
siguientes términos canónicos se representarán del siguiente modo (observe que se toma
el orden de A a D como de mayor a menor peso):

Donde:

- Para representar una función canónica en suma de productos utilizaremos el símbolo

∑𝑛 (sigma).

- Para representar una función canónica de producto de sumas ∏𝑛 (pi), donde n

indicará el número de variables.

Así, la representación numérica correspondiente a la tabla de verdad del punto anterior

quedará como:
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

Forma Gráfica
La representación gráfica es la que se utiliza en circuitos y esquemas electrónicos. En la
siguiente figura se representan gráficamente dos funciones algebraicas.

REPRESENTACIÓN DE FUNCIONES LÓGICAS TABLA DE VERDAD

VHTC
Tabla que representa el valor de la función para cada combinación de entrada. Si la función está
definida para todas las combinaciones se llama completa, si no, se denomina incompleta.
Ejemplo para 4 variables:

Una Fórmula de conmutación es la expresión de una función Lógica.

 Variable: Cada elemento de la expresión con distinto nombre.

A · B' + A' C + A (D + E) → 5 variables. Determinan los grados de libertad de la expresión.
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

 Literal: Cada aparición de una variable o de su complemento.

A · B' + A' C + A (D + E) → 7 literales. Determinan la complejidad de la expresión.

 Un Término Producto es una operación AND de un número de literales.

 Un Término Suma es una operación OR de un número de literales.

MINTÉRMINOS Y MAXTÉRMINOS
 Mintérmino (mi): Término producto en el que aparecen todas las variables, ya sean
complementadas o sin complementar.
Fórmula canónica disyuntiva o de mintérminos: Suma de mintérminos. (Suma de
Productos).
- Dada la lista completa de mintérminos y asignando 1’s y 0’s arbitrariamente a las
variables, siempre hay un, y sólo un, mintérmino que toma el valor 1.
-

VHTC
Un mintérmino es un término producto que es 1 exactamente en una línea de la
tabla de Verdad.
- La fórmula compuesta por todos los mintérminos será idénticamente 1.
- Cada fórmula de conmutación puede expresarse como suma de mintérminos. Y
esa fórmula es única.
- Notación: Un mintérmino se designa por “mi” siendo i el número decimal
correspondiente de la tabla de verdad. Para el producto, el 0 se asocia a la variable
complementada y el 1 a la variable sin complementar.
Ejemplo:
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

 Maxtérmino (Mi): término suma en el que aparecen todas las variables, ya sean
complementadas o sin complementar.
Fórmula canónica conjuntiva o de maxtérminos: Producto de maxtérminos.
(Producto de sumas).
- Dada la lista completa de maxtérminos y asignando 1’s y 0’s arbitrariamente a las
variables, siempre hay un y sólo un maxtérmino que toma el valor 0.
- Un maxtérmino es un término suma que es 0 exactamente en una línea de la tabla
de verdad.
- La fórmula compuesta por todos los maxtérminos será idénticamente 0.
- Cada fórmula puede expresarse como producto de maxtérminos. Y es única.
- Notación: Un maxtérmino se designa por “Mi” siendo i el número decimal
correspondiente de la tabla de verdad. En la suma, el 1 se asocia a la variable
complementada y el 0 a la variable sin complementar.
Ejemplo:

MÉTODOS DE SIMPLIFICACIÓN
VHTC
Por simplificación de una función lógica se entiende la obtención de su mínima expresión.
A la hora de implementar físicamente una función lógica se suele simplificar para reducir
así la complejidad del circuito.
A continuación, los modos más usuales de simplificar una función lógica.
 Algebraico (Algebra de Boole)
 Mapas de Karnaugh
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

FUNCIONES BÁSICAS

VHTC
Con estos tres tipos de puertas puede realizarse cualquier función de conmutación.
Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede implementar
cualquier función lógica.
Informática de Sistemas y Ensamblaje
Ing. Victor Hugo Ticonipa Ch.

VHTC