Algebra de Boole

Prof. Patricio Cortés Aburto

Ing. Electrónico PUCV
George Boole
 Profesor de matemáticas.
 Llevó las reglas de álgebra convencional
a operaciones lógicas.
 Se utiliza para manejar funciones lógicas
en sistemas electrónicos.

Prof. Patricio Cortés

Algebra de Boole
 Es el manejo de las ecuaciones lógicas que modelan el
comportamiento lógico de los circuitos electrónicos
digitales y es fundamental para el entendimiento del
diseño electrónico.

 Operaciones, símbolos, reglas a seguir.

 Tiene dos estados discretos. Verdadero o Falso, Alto o

Bajo. “0” o “1”.
 Las cantidades lógicas son valores únicos. Una variable
no puede tomar el valor opuesto al mismo tiempo. O es
verdadero o es falso.

Prof. Patricio Cortés

Algebra de Boole
 Todo equipo electrónico digital se basa en el uso de
circuitos lógicos digitales. A su vez, los circuitos
lógicos están basados en el empleo de ecuaciones
lógicas:

Prof. Patricio Cortés

Propiedades del Algebra de Boole
 Asociatividad

 Conmutatividad

 Distribuitividad

Prof. Patricio Cortés

Teoremas
 Absorción

 Elemento Neutro

 Idempotencia

Prof. Patricio Cortés

Teoremas (continuación…)

 Elemento Inverso

 Involución

Prof. Patricio Cortés

Teorema de Morgan
 Augustus De Morgan (India, 1806)
 Escribió libros sobre álgebra, análisis y lógica
 Hoy usamos su teorema para para el diseño
y análisis en electrónica digital

 Este teorema es de mucha utilidad en la simplificación de

expresiones lógicas. Observe que llamaremos
“complemento” a la negación de un valor.

Prof. Patricio Cortés

Teorema de Morgan
 Regla 1: El complemento de una suma es el
producto de los complementos individuales.

 Regla 2: El complemento de un producto es la suma

de los complementos individuales.

Prof. Patricio Cortés

Teorema de Morgan
 Ejercicios:

Prof. Patricio Cortés

Funciones Lógicas

Para graficar todas las posibles combinaciones de

esta función lógica, necesitamos la
TABLA DE VERDAD
Prof. Patricio Cortés
Tabla de Verdad
 Forma gráfica de representar una función lógica con
todos los posibles valores que toman las variables

 Regla 1: Si la función tiene n variables, la tabla de

verdad tendrá 2^n filas.

Prof. Patricio Cortés

Tabla de Verdad
 Ejemplo:

Prof. Patricio Cortés

Función desde Tabla de Verdad
 Si conocemos el comportamiento de un circuito
digital, podremos entonces, identificar cual es la
función que debemos encontrar.

Formas Canónicas
 Son arreglos de variables que nos permitirán encontrar
las funciones booleanas que necesitamos.

 Primera Forma Canónica (SOP)

 Regla: Si una variable de la fila escogida está en “0”,

esta variable se usará negada, y si está en “1” se usará
sin negar.
Prof. Patricio Cortés
Función desde Tabla de Verdad
 Ejemplo SOP:

Prof. Patricio Cortés

Función desde Tabla de Verdad

Formas Canónicas
 Son arreglos de variables que nos permitirán encontrar
las funciones booleanas que necesitamos.

 Segunda Forma Canónica (POS)

 Regla: Si una variable de la fila escogida está en “1”,

esta variable se usará negada, y si está en “0” se usará
sin negar. Es decir, justamente lo contrario a la regla
anterior.

Prof. Patricio Cortés

Función desde Tabla de Verdad
 Ejemplo POS:

Prof. Patricio Cortés

Función desde Tabla de Verdad
 Ejercicios:
 Use la primera forma canónica (SOP)

Prof. Patricio Cortés

Minimización de Funciones lógicas
 Usando propiedades y teoremas del Algebra de
Boole. Se debe tener un gran dominio de las
propiedades para eliminar la mayor cantidad de
términos y variables.
 Usando el método de Karnaugh. Método gráfico
muy efectivo si se utiliza bien, a partir de una tabla
de verdad.

Prof. Patricio Cortés