5.

FUNCIONES LÓGICAS

Llamamos funciones booleanas o lógicas a cualquier

combinación de elementos de un álgebra de Boole que haga
uso de las operaciones antes mencionadas

, , = · + · + · ·

f 0,1,1 = 0 · 0 + 0 · 1 + 0 · 1 · 0 = 0
f 1,0,0 = 1 · 1 + 1 · 0 + 1 · 0 · 1 = 1
45
5. FUNCIONES LÓGICAS

● Las funciones lógicas se pueden expresar de dos formas

canónicas diferentes:

○ Suma de productos (MAXTERMS) , , = · + · + · ·

○ Producto de sumas (MINTERMS) , , =( + ) · ( + ) · ( + + )

46
 5. FUNCIONES LÓGICAS: OBTENCIÓN A PARTIR DE LA TABLA DE VERDAD

A B C T
Seguimos con el ejemplo anterior.
Para obtener la función canónica en forma de MINTERMS. 0 0 0 0 0
1. Numeramos las filas de 0 hasta 7 (o 15 si son 4 variables) 1 0 0 1 0
2. Escogemos aquellas que son 1 en la salida
3. Expresamos la función. Para cada fila tendremos un 2 0 1 0 0
producto. Si la variable tiene valor 0 escribiremos su 3
*
0 1 1 1
negación, si vale 1, escribiremos la variable directa (sin
negar). 4 1 0 0 0
4. Se suman todos los términos una vez traducidos a expresión 5
*
1 0 1 1
algebraica.
6 1 1 0 0
= ∑ 3,5,7 = , , = · · + · · + · · 7
*
1 1 1 1
47
 5. FUNCIONES LÓGICAS: OBTENCIÓN A PARTIR DE LA TABLA DE VERDAD

A B C T
Seguimos con el ejemplo anterior.
Para obtener la función canónica en forma de MAXTERMS. 7
*
0 0 0 0
1. Numeramos las filas de 7 hasta 0 (desde 15 si son 4 6
0 0 1 0
*
variables) de manera inversa.
2. Escogemos aquellas que son 0 en la salida 5
*
0 1 0 0
3. Expresamos la función. Para cada fila tendremos una sima. 4 0 1 1 1
Si la variable tiene valor 1 escribiremos su negación, si
vale 0, escribiremos la variable directa (sin negar). 3
*
1 0 0 0
4. Se suman todos los términos una vez traducidos a expresión 1 0 1 1
2
algebraica.
1
*
1 1 0 0
= ∏ 1,3,5,6,7 = , , = + + · + + · + + · + + ̅ · + +
0 1 1 1 1
48