ALGEBRA DE BOOLE OPERACIONES
Funciones Booleanas:Variable Booleana: Aquella que solo puede tomar como valores {0,1}.
Función Booleana: Aquella que relaciona variables booleanas, con un resultado que pertenece a {0,1}, relacionándolas a través de operaciones de producto, suma, y disyunción.
Dado que una variable booleanas puede tomar 2 valores, el cálculo de una función se expresará a través de la cantidad de variables que adopte dicha función.
Ejemplos:
N=variables booleanas
N=1 -> n^2^1 = 4
N=2 -> n^2^2 = 16
De aquí llegamos a la siguiente expresión para normalizar:
2^(2^n)
Ejemplo:
N=2
Tenemos 4 funciones posibles:
De donde se puede deducir:
F0 = 0 | F1 = a | F2 = ã | F3=1
Expresiones analíticas:
SUMA DE PRODUCTOS
PRODUCTO DE SUMAS
FORMAS CANÓNICAS:
Forma Normal Disyuntiva:
Se denomina minitérmino al término obtenido de multiplicar las n variables de una función.
Una FND se obtiene con la suma de los minitérminos.
Obtención de una FND:
A cada término expresado como suma de productos lo multiplicamos por el neutro de la operación *.
Forma Normal Conjuntiva:
Se denomina maxitérmino a aquel término obtenido de la suma de las n variables de una función.
Se define a FNC como la suma de los maxitérminos.
Obtención de una FNC:
A cada término expresado como producto de suma lo multiplicamos por el neutro de la operación +.
FORMAS COMPLETAS:
FNDC : Aquella función compuesta por la sumatoria de todos los minitérminos. Donde la cantidad de minitérminos está dado por 2^n-1.
FNCC: Aquella función compuesta por la productoria de todos los maxitérminos. Donde la cantidad de maxitérminos está dado por 2^n-1.
Transformar funciones normales:
Cuando tenemos una FND, los minitérminos que no forman parte de ella, son los maxitérminos de la FNC, es decir que FNC=2^n-C, donde C es la cantidad de minterms.
Para la FNC tenemos una dualidad con respecto a FND.
Si tenemos:
FND(x,y) = x*y + x*¬y
FND*(x,y) = ¬x*y + ¬x*¬y
________ ____________ ______ ______
FND*(x,y) = ¬x*y + ¬x*¬y = (¬x*y) + (¬x*¬y)
FNC(x,y)=(x+¬y) + (x+y)
Minimización:
Procedimiento por el cual, se simplifica una forma normal hasta obtener la menor cantidad de variables y términos posibles.