ÁLGEBRA DE BOOLE:
Proporciona una notación para describir funciones lógicas y define un número de
operaciones que se pueden realizar con el fin de simplificarlas.
El álgebra de Boole define variables, constantes y funciones para describir sistemas
binarios, y una serie de teoremas que permiten manipular expresiones lógicas.
Constantes booleanas: Se definen dos: ‘0’ (estado FALSO) y ‘1’
(VERDADERO).
Variables booleanas: Son magnitudes que pueden tomar diferentes valores
en diferentes momentos. Pueden representar señales de entrada o de salida y
reciben nombres de caracteres alfabéticos como: A, B, X, Y. Sólo pueden tomar
los valores ‘0’ o ‘1’.
Funciones booleanas: Describen el comportamiento del sistema. Cada
operación lógica (suma, multiplicación, negación,...) posee una notación en el
álgebra booleana.
Un álgebra de Boole es un sistema de elementos b={0,1} y los operadores binarios
(·) y (+) y (’) definidos de la siguiente forma
Teoremas del álgebra de Boole:
TEOREMA 1: el elemento complemento A’ es único.
TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica:
A+1 = 1
A·0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.
0’=1
1’=0
TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica:
A+A=A
A·A=A
TEOREMA 5 (INVOLUCIÓN): para cada elemento de B, se verifica:
(A’)’ = A
TEOREMA 6 (ABSORCIÓN): para cada par de elementos de B, se verifica:
A+A·B=A
A·(A+B)=A
TEOREMA 7: para cada par de elementos de B, se verifica:
A + A’·B = A + B
A · (A’ + B) = A · B
TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y
(·) cumple la propiedad asociativa:
A+(B+C) = (A+B)+C
A·(B·C) = (A·B)·C
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B)’ = A’·B’
(A·B)’ = A’ + B’
TEOREMA DE DUALIDAD: enunciado obtenido al intercambiar las
operaciones “+” y “.”
(1+A). (B+0) = B es (0 . A)+ (B. 1) = B
Relación de orden:
Se llama relación de orden sobre un conjunto A a cualquier relación R entre sus
elementos que verifica las siguientes tres propiedades:
1. Reflexiva: aRa, para cualquier a ∈ A.
2. Antisimétrica: si aRb y bRa, entonces a = b.
3. Transitiva: si aRb y bRc, entonces aRc.
El par (A, R), formado por un conjunto y una relación de orden definida sobre ´el, se
llama conjunto ordenado.
Son conjuntos ordenados: (N, ≤), (N, | ), (Da, | ), ...
En el conjunto ordenado (A, R), dos elementos a, b ∈ A se dicen comparables si aRb
o bRa.
Cuando en el conjunto ordenado (A, R) dos elementos cualesquiera son siempre
comparables, se dice que R es un orden total. En caso contrario se dice que R es un
orden parcial.
Funciones Booleanas:
F(A,B,C,...) → el valor lógico de F depende de A,B,C,...
Una función booleana o función lógica es una variable binaria cuyo valor es igual al
de la expresión algebraica en la que se relacionan entre sí las variables binarias por
medio de los operadores lógicos básicos (·, + y negación).
Ej: F = ABC + A B + ABC + B C
F=1 cuando A=B=C=1 o A=1 y B=0 o A=0 y B=C=1 o B=1 y C=0
Una función está completamente especificada cuando para cada una de las posibles
combinaciones de las variables de entrada le corresponde un valor único y definido
de la función.
Una función está incompleta cuando para una o más combinaciones de entrada se le
pueden asignar a la función el valor 0 o 1 indistintamente.
Se llama término canónico de una función lógica a todo producto o suma en el que
aparecen todas las variables (o sus complementos) de esa función:
•Términos productos → productos canónicos o MINITÉRMINOS
•Términos suma → sumas canónicas o MAXITÉRMINOS
Cuando una función está expresada como suma de productos canónicos (SDP) o
como producto de sumas canónicas (PDS) se dice que está en forma canónica.
Dos funciones booleanas se dice que son equivalentes (F1 = F 2) si y sólo si
describen la misma función de conmutación.
La tabla de verdad de una función lógica es una forma de representación de la misma
en la que se indica el valor 0 o 1 que toma la función para cada una de las
combinaciones de valores de las variables de dicha función.
Simplificación de expresiones booleanas:
Mediante la aplicación de los teoremas:
Para simplificar una expresión algebraica se pueden aplicar los teoremas booleanos
vistos con anterioridad.
Mapas de Karnaugh:
Es un método gráfico de representación de la información que se encuentra en la
tabla de verdad. Permite simplificar una función booleana de manera sencilla. En un
mapa de Karnaugh cada combinación posible de entradas está representada por una
caja dentro de una rejilla, y el valor correspondiente de la salida se escribe dentro de
la caja. Las cajas están escritas de forma que al cambiar de una a otra sólo varía una
de las entradas. La secuencia corresponde al código Gray.
