Algebra de Boole
Algebra de Boole
Algebra de Boole
El álgebra booleana difiere de del algebra ordinaria ya que sus constantes y variables solo pueden tener dos
valores, 0 o 1. Una variable booleana es una cantidad que pueden en diferentes ocasiones, ser igual 0 a 1;
estas se emplean para representar el voltaje de las terminales de entrada y de salida de un circuito y por lo
tanto el 0 y el 1 booleano no representan números sino el estado de una variable de voltaje o lo que se
conoce como nivel lógico. En el campo de la lógica digital se emplean otros términos como sinónimos de 0 y
1 por ejemplo:
0 LÓGICO 1 LÓGICO
Falso Verdadero
Bajo Alto
Desactivado Activado
No Sí
Interruptor abierto Interruptor cerrado
Compuertas lógicas
Para el diseño de circuitos digitales se utilizan compuertas lógicas, las cuales permiten implementar
operaciones lógicas (álgebra booleana), el comportamiento de cualquier circuito se describe en su totalidad
mediante una tabla de verdad. Las tablas de verdad relacionan las entradas de un circuito con su salida.
A continuación, se muestran algunos ejemplos de tablas de verdad:
Tablas de Verdad
Una compuerta lógica es un bloque de circuitería que produce señales de salida lógica (”1” ó “0”) si se
satisfacen las condiciones de las entradas lógicas. Los nombres, circuitos digitales, circuitos de conmutación,
circuitos lógicos y compuertas son usados a menudo pero sé hará referencia a los circuitos con compuertas.
Otra manera de poder visualizar el comportamiento de un circuito es mediante el diagrama de tiempo, esto
es la representación gráfica de las señales de entrada a la compuerta, en la cual se incluyen todas las
combinaciones posibles.
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 multiplicación lógica AND: esto es: la salida es 1 si la entrada A y la entrada
B están ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones también 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 están en 1. El símbolo de operación algebraico de la función AND es el mismo que el símbolo
de la multiplicación de la aritmética ordinaria (•). Las compuertas AND pueden tener más de dos entradas y
por definición, la salida es 1 si todas las entradas son 1. La ecuación lógica de una compuerta AND es:
x = A•B
A continuación, se muestra (a) la tabla de verdad y (b) el diagrama lógico de una compuerta AND de 2
entradas:
Operación AND
Algebra Booleana
Operación AND
A continuación, se muestra la tabla de verdad y el diagrama lógico de una compuerta AND de 3 entradas:
Algebra Booleana
Operación AND
La siguiente figura muestra el diagrama de tiempo de la compuerta AND de 2 entradas:
Compuerta OR
La compuerta OR produce la función 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 símbolo algebraico de la función OR (+), es igual a la
operación de aritmética de suma. Las compuertas OR pueden tener más de dos entradas y por definición la
salida es 1 si cualquier entrada es 1. La ecuación lógica de una compuerta OR es:
x = A+B
A continuación, se muestra (a) la tabla de verdad y (b) el diagrama lógico de una compuerta OR de 2 entradas:
Algebra Booleana
Operación OR
Algebra Booleana
Operación OR
La siguiente figura muestra el diagrama de tiempo de la compuerta OR de 2 entradas:
Compuerta NOT
El circuito NOT es un inversor que invierte el nivel lógico de una señal binaria. Produce el NOT, o función
complementaria. El símbolo algebraico utilizado para el complemento es una barra sobra el símbolo de la
Algebra Booleana
variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y
Operación NOT
viceversa. El círculo pequeño en la salida de un símbolo gráfico de un inversor designa un inversor lógico.
Es decir cambia los valores binarios 1 a 0 y viceversa. La ecuación lógica de una compuerta NOT es:
x=A
x = A!
A continuación, se muestra (a) la tabla de verdad, (b) el diagrama lógico y (c) el diagrama de tiempo de una
compuerta NOT:
Algebra de Boole
Definición y postulados
Álgebra de Boole (también llamada álgebra booleana) es una estructura algebraica que esquematiza las
operaciones lógicas Y, O, NO y SI (AND, OR, NOT, IF), así como el conjunto de operaciones unión,
intersección y complemento.
Se denomina así en honor a George Boole, matemático inglés autodidacta, que fue el primero en definirla
como parte de un sistema lógico, inicialmente en un pequeño folleto “The Mathematical Analysis of Logic “,
publicado en 1847, en respuesta a una controversia en curso entre Augustus De Morgan y Sir William
Hamilton. El álgebra de Boole fue un intento de utilizar las técnicas algebraicas para tratar expresiones de la
lógica proposicional. Más tarde como un libro más importante: “The Laws of Thought”, publicado en 1854.
En la actualidad, el álgebra de Boole se aplica de forma generalizada en el ámbito del diseño electrónico.
Claude Shannon fue el primero en aplicarla en el diseño de circuitos de conmutación eléctrica biestables, en
1948. Esta lógica se puede aplicar a dos campos:
a) Al análisis, porque es una forma concreta de describir como funcionan los circuitos.
b) Al diseño, ya que teniendo una función aplicamos dicha álgebra, para poder desarrollar una
implementación de la función
Definición
Dado un conjunto: B formado cuando menos por los elementos: ∅, U en el que se ha definido:
~ : B→B
a → b =~ a
En esta operación definimos una aplicación que, a cada elemento a de B , le asigna un b de B .
∀a ∈ B : ∃!b ∈ B / b =~ a
Para todo elemento a en B , se cumple que existe un único b en B , tal que b es el complemento de a .
⊕: B×B → B
(a, b) → c = a ⊕ b
por la que definimos una aplicación que, a cada par ordenado (a, b) de B por B , le asigna un c de B .
∀(a, b) ∈ B × B : ∃!c ∈ B / c = a ⊕ b
Para todo par ordenado (a, b) en B por B , se cumple que existe un único c en B , tal que c es el
resultado de sumar a con b .
⊗: B×B → B
(a, b) → c = a ⊗ b
Con lo que definimos una aplicación que, a cada par ordenado (a, b) en B por B , le asigna un c de B .
∀(a, b) ∈ B × B : ∃!c ∈ B / c = a ⊗ b
Para todo par ordenado (a, b) en B por B , se cumple que existe un único c en B , tal que c es el
resultado del producto de a por b .
Dada la definición del álgebra de Boole como una estructura algebraica genérica, según el caso concreto de
que se trate, la simbología y los nombres de las operaciones pueden variar.
Postulados
Los postulados de un sistema matemático forman los supuestos básicos mediante los cuales es posible
deducir las reglas, teoremas y propiedades del sistema. Los postulados mas comunes que se utilizan para
formular diversas estructuras algebraicas son:
• Cierre. Un conjunto B esta cerrado con respecto a un operador binario si, para cada par de elementos
de B , el operador binario especifica una regla para obtener un elemento único de B .
• Ley asociativa. Un operador binario • en un conjunto B se dice que es asociativo siempre que:
(x • y)• z = x •(y • z) para toda x, y, z ∈ B
• Ley conmutativa. Un operador binario • en un conjunto B se dice que es conmutativo siempre que:
x • y = y • x para toda x, y ∈ B
• Elemento identidad. Un conjunto B se dice que tiene un elemento identidad respecto a una operación
binaria • en B si existe un elemento e ∈ B con la propiedad:
x • e = e • x = e para cada x ∈ B
• lnversa. Un conjunto B que tiene el elemento identidad e con respecto a un operador binario • se dice
que tiene una inversa siempre que, para cada x ∈ B , existe un elemento y ∈ B tal que:
x•y = e
• Ley distributiva. Si • y ⋅ son dos operadores binarios en un conjunto B , • se dice que es distributivo
sobre ⋅ siempre que:
x •(y ⋅ z) = (x • y)⋅ (x • z)
Teoremas de una sola variable
Teoremas
Teoremas multivariable:
Teoremas de DeMorgan
Teoremas de DeMorgan
Implicaciones de los teoremas de
DeMorgan
Funciones lógicas
Una variable binaria puede tomar el valor de 0 o 1. Una función booleana o función lógica es una expresión
formada por variables binarias, los dos operadores binarios OR y AND, operador unitario NOT, paréntesis y
signo de igual. Para un valor dado de variables, la función puede ser 0 o bien 1.
En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los
valores binarios 0 ó 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma f : B n → B , donde B = {0,1} y n un entero no negativo
correspondiente a la aridad de la función.
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
El uso de una u otra, como veremos, dependerá de las necesidades concretas en cada caso.
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 2 n . Una
función lógica puede representarse algebraicamente de distintas formas, pero sólo tiene una tabla de verdad.
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.
Función O-exclusiva
La puerta XOR, compuerta XOR u OR exclusiva es una puerta lógica digital, en la cual, cuando todas sus
entradas son distintas entre sí para dos entradas A y B, o cuando el número de 1 (unos) da una cantidad
impar para el caso de tres o más entradas, su salida está en 1.
(a) Circuito XOR y tabla de verdad (b) Símbolo tradicional XOR (c) Símbolo IEEE/ANSI XOR
(a) Circuito XNOR y tabla de verdad (b) Símbolo tradicional XNOR (c) Símbolo IEEE/ANSI XNOR