Función booleana

Ir a la navegaciónIr a la búsqueda

Este artículo o sección necesita referencias que aparezcan en una publicación

acreditada.

Este aviso fue puesto el 30 de enero de 2011.

En matemáticas, una función booleana es una función cuyo dominio son

las palabras conformadas por los valores binarios 0 o 1 ("falso" o "verdadero",
respectivamente), y cuyo codominio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma ƒ: Bn → B, donde B = {0,1}
y n un entero no negativo correspondiente a la aridad de la función.

Índice

 1Modos de representación

o 1.1Algebraica

o 1.2Por tabla de verdad

o 1.3Numérica

o 1.4Gráfica

 2Métodos de simplificación

o 2.1Algebraico

o 2.2Mapa de Karnaugh

o 2.3Numérico de Quine-McCluskey

 3Funciones incompletas

 4Forma canónica

o 4.1Minitérmino

o 4.2Maxitérmino

 5Véase también

Modos de representación[editar]
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 dependerá de cada caso.
Algebraica[editar]
Se utiliza cuando se realizan operaciones algebraicas. A continuación se ofrece un
ejemplo con distintas formas en las que se puede expresar algebraicamente una
misma función de tres variables.

1. F = [(A + BC’)’ + ABC]’ + AB’C

2. F = A’BC’ + AB’C’ + AB’C + ABC’
3. F = (A + B + C)(A + B + C’)(A + B’ + C’)(A’ + B’ + C’)
4. F = BC’ + AB’
5. F = (A + B)(B’ + C’)
6. F = [(BC’)’(CB)´ (AB’)’]’
7. F = [(A + B)’ + (B’ + C’)’]’
La expresión 1. puede proceder de un problema lógico planteado o del paso de
unas especificaciones a lenguaje algebraico. Las formas 2. y 3. reciben el nombre
expresiones canónicas: de suma de productos (sum-of-products, SOP, en inglés), la
2., y de productos de sumas (product-of-sums, POS, en inglés), la 3.; su
característica principal es la aparición de cada una de las variables (A, B y C) en
cada uno de los sumandos o productos.
Por tabla de verdad[editar]
Artículo principal: Tabla de verdad

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 2n. Una función lógica puede
representarse algebraicamente de distintas formas como acabamos de ver, pero
solo tiene una tabla de verdad. La siguiente tabla corresponde a la función lógica del
punto anterior.
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. Así, la función
canónica de suma de productos (o forma canónica disyuntiva)
F = A’BC’ + AB’C’ + AB’C + ABC’
nos indica que será 1 cuando lo sea uno de sus sumandos, lo que significa que
tendrá por lo tanto cuatro combinaciones que lo serán (010 para A’BC’, 100 para
AB’C’, 101 para AB’C y 110 para ABC’) siendo el resto de combinaciones 0. Con
la función canónica de producto de sumas (o forma canónica conjuntiva) se
puede razonar de forma análoga, pero en este caso observando que la función
será 0 cuando lo sea uno de sus productos.
También es fácil obtener la tabla de verdad a partir de la función simplificada,
pero no así a la inversa.
Numérica[editar]
La representación numérica es una forma simplificada de representar las
expresiones canónicas. Si consideramos el criterio de sustituir una variable sin
negar por un 1 y una negada por un 0, podremos representar el término, ya sea
una suma o un producto, por un número decimal equivalente al valor binario de
la combinación. Por ejemplo, los siguientes términos canónicos se
representarán del siguiente modo (observe que se toma el orden de A a D como
de mayor a menor peso):
Para representar una función canónica en suma de productos
utilizaremos el símbolo  (sigma) y en producto de sumas  (pi), donde n
indicará el número de variables. Así, la representación numérica
correspondiente a la tabla de verdad del punto anterior quedará como:
Matemáticamente se demuestra, que para todo término i de una
función, se cumple la siguiente ecuación:
A modo de ejemplo se puede utilizar esta igualdad para obtener
el producto de sumas a partir de la suma de productos del
ejemplo anterior:
Gráfica[editar]
La representación gráfica es la que se utiliza en circuitos y
esquemas electrónicos. En la siguiente figura se representan
gráficamente dos funciones algebraicas, una con símbolos no
normalizados, superior, y la otra con normalizados, inferior
(véanse los símbolos de las puertas lógicas)
 Métodos de simplificación[editar]
Por simplificación de una función lógica se entiende la
obtención de su mínima expresión. A la hora de implementar
físicamente una función lógica se suele simplificar para reducir
así la complejidad del circuito.
A continuación se indican los modos más usuales de
simplificar una función lógica.
Algebraico[editar]
Artículo principal: Álgebra de Boole

Para la simplificación por este método no sólo bastará con

conocer todas las propiedades y teoremas del álgebra de
Boole, además se debe desarrollar una cierta habilidad lógico-
matemática que se adquiere fundamentalmente con la
experiencia.
Como ejemplo se simplificará la siguiente función:
F = A’C’ + ABC + BC’ + A’B’C + A’BC
Observando cada uno de los sumando podemos ver que
hay factores comunes en los sumandos 2º con 5º y 4º con
5º que conllevan simplificación:
F = A’C’ + BC’ + BC(A + A’) + A’C(B + B’)
 Note que el término 5º se ha tomado dos veces, de
acuerdo con la propiedad que dice que A + A = A.
Aplicando las propiedades del álgebra de Boole (A + A'
= 1 y A . 1 = A), queda
F = A’C’ + BC’ + BC + A’C
Repitiendo nuevamente el proceso,
F = A’( C’ + C) + B( C’ + C) = A’ + B
No siempre las funciones son tan fáciles de
simplificar como la anterior. El método
algebraico, por lo general, no resulta cómodo
para los no expertos, a los cuales, una vez
simplificada una ecuación le pueden quedar
serias dudas de haber conseguido la máxima
simplificación.
Mapa de Karnaugh[editar]
Artículo principal: Mapa de Karnaugh

Este método consiste en formar diagramas de

2n cuadros, siendo n el número de variables.
Cada cuadro representa una de las diferentes
combinaciones posibles y se disponen de tal
forma que se puede pasar de un cuadro a otro
en las direcciones horizontal o vertical,
cambiando únicamente una variable, ya sea en
forma negada o directa.
Este método se emplea fundamentalmente para
simplificar funciones de hasta cuatro variables.
Para un número superior utilizan otros métodos
como el numérico. A continuación pueden
observarse los diagramas, también llamados
mapas de Karnaugh, para dos, tres y cuatro
variables.
Es una práctica común numerar cada celda con
el número decimal correspondiente al término
canónico que albergue, para facilitar el trabajo a
la hora de plasmar una función canónica.
Para simplificar una función lógica por el
método de Karnaugh se seguirán los siguientes
pasos:

1. Se dibuja el diagrama
correspondiente al número de
variables de la función a simplificar.
2. Se coloca un 1 en los cuadros
correspondientes a los términos
canónicos que forman parte de la
función.
3. Se agrupan mediante lazos los unos
de casillas adyacentes siguiendo
estrictamente las siguientes reglas:
1. Dos casillas son
adyacentes cuando
se diferencian
únicamente en el
estado de una sola
variable.
2. Cada lazo debe
contener el mayor
número de unos
posible, siempre que
dicho número sea
potencia de dos (1, 2,
4, etc.)
3. Los lazos pueden
quedar superpuestos
y no importa que
haya cuadrículas que
pertenezcan a dos o
más lazos diferentes.
4. Se debe tratar de
conseguir el menor
número de lazos con
el mayor número de
unos posible.
4. La función simplificada tendrá tantos
términos como lazos posea el
diagrama. Cada término se obtiene
eliminando la o las variables que
cambien de estado en el mismo lazo.
A modo de ejemplo se realizan dos
simplificaciones de una misma función a partir
de sus dos formas canónicas:
De acuerdo con los pasos vistos
anteriormente, el diagrama de cada función
quedará del siguiente modo:

La función simplificada tendrá tres

sumandos en un caso y dos productos en el
otro. Si nos fijamos en el mapa
correspondiente a la suma de productos,
observamos que en el lazo 1 cambia la
variable A (en la celda 0 es negada y en la 4
directa), en el lazo 2 es la C y en el lazo 3
vuelve a ser A. por lo tanto, la ecuación
simplificada es:
Razonando de modo similar en el mapa
de productos de sumas, nos quedará lo
siguiente:
Numérico de Quine-
McCluskey[editar]
Artículo principal: Algoritmo Quine–
McCluskey

Este artículo o
sección sobre
matemáticas
necesita
ser wikificado,
por
favor, edítalo p
ara que cumpla
 con
las convencione
s de estilo.

Este aviso fue puesto

el 9 de enero de
2017.

El algoritmo Quine-McCluskey
permite la simplificación de funciones
lógicas de cualquier número de
variables y es el que se utiliza para
diseñar aplicaciones informáticas en
las que se necesite obtener
funciones simplificadas.
A continuación se indican los pasos
a seguir en este método a partir de
un ejemplo.
 Se expresa la función a
simplificar en su forma
canónica de suma de
productos.
Sea la siguiente función a simplificar:

 Se forma una tabla con el

valor decimal de la
combinación, el estado de
las variables y el índice
(número de unos que
contiene el estado de las
variables).

Comb
Estado Índice
.

0 0000 0

1 0001 1

2 0010 1

3 0011 2
 5 0101 2

9 1001 2

11 1011 3

12 1100 2

13 1101 3

15 1111 4

 Se agrupan las
combinaciones cuyos
estados difieren en una sola
variable, sustituyéndola por
un guion bajo (_). Las
combinaciones utilizadas se
marcan con un aspa (X). Hay
que fijarse en las
combinaciones cuya
diferencia entre sus
respectivos índices es la
unidad.

Agrupación de las combinaciones

Co Esta Índi Co Esta Índi

mb. do ce mb. do ce

000 000
0X 0 0,1 0
0 _
 000 00_
1X 1 0,2 0
1 0

001 00_
2X 1 1,3 1
0 1

001 0_0
3X 2 1,5 1
1 1

010 _00
5X 2 1,9 1
1 1

100 _01
9X 2 3,11 2
1 1

101 _10
11 X 3 5,13 2
1 1

110 10_
12 X 2 9,11 2
0 1

110 1_0
13 X 3 9,13 2
1 1

111 11,1 1_1

15 X 4 3
1 5 1

12,1 110
2
3 _

13,1 11_
3
5 1
 Se repite el proceso anterior
las veces que sean
necesarias y se van
eliminando estados
idénticos.

 Se forma una tabla con las

combinaciones finales y las
no agrupadas. Se toman
como filas las combinaciones
finales y las no agrupadas y
como columnas los valores
decimales de dichas
combinaciones. Cada celda
que contenga el valor
decimal de una combinación
se marca con un aspa. A
continuación nos fijamos en
aquellas columnas con una
sola aspa; sus
combinaciones serán
esenciales. Finalmente se
toman aquellas
combinaciones de los
valores decimales no
seleccionados, teniendo
precaución de no tomar
aquellas combinaciones
cuyos valores decimales
hayan sido ya tomados en
otras combinaciones. La
función simplificada final
viene dada por las
combinaciones esenciales y
estas últimas.
Funciones
incompletas[editar]
Hasta ahora todas las funciones
estudiadas tienen definido un valor
lógico, 0 o 1, para cada una de las
posibles combinaciones. Estas
funciones se denominan completas o
totalmente definidas. También
existen funciones con una o varias
combinaciones no definidas,
llamadas funciones incompletas.
Esta situación puede deberse por las
dos causas siguientes:

1. Hay combinaciones de
entrada que no existen,
por lo que a la salida se
le puede asignar
indistintamente el valor 0
o el 1.
2. En ciertas
combinaciones de
entrada la salida del
sistema lógico está
inhibida, siendo por lo
tanto su valor indiferente.
En la tabla de verdad de una función
incompleta, los términos indiferentes
se designan mediante una equis (X).
En cuanto a la forma canónica se
separan los términos definidos de los
que no lo son (indicados mediante el
símbolo φ).
A la hora de simplificar una función
incompleta, los términos indiferentes
servirán como “comodines” a la hora
de tomar lo lazos, esto es, si nos
interesa que sea un 1 porque así el
lazo es mayor, lo tomaremos como
1, y en caso contrario como 0.

Forma canónica[editar]
Artículo principal: Formas canónicas
(álgebra de Boole)
Una Función lógica, que está
compuesta por operador lógico,
puede ser expresada en forma
canónica usando los conceptos
de minitérmino y maxitérmino.
Todas las funciones lógicas son
expresables en forma canónica,
tanto como una suma de
minitérmino como producto de
maxitérmino. Esto permite un mejor
análisis para la simplificación de
dichas funciones.
Minitérmino[editar]
Artículo principal: Minterm

Para una función booleana de n

variables x1,...xn, un producto
booleano en el que cada una de las
n variables aparece una sola vez
(negada o sin negar) es llamado
minitérmino. Es decir, un minitérmino
es una expresión lógica de n
variables consistente únicamente en
el operador conjunción lógica (AND)
y el operador complemento o
negación (NOT). Por ejemplo, abc,
ab'c y abc' son ejemplos de
minitérminos para una función
booleana con las tres variables a, b y
c.
Maxitérmino[editar]
Artículo principal: Maxterm

Un maxitérmino es una expresión

lógica de n símbolos que consiste
únicamente en la disyunción lógica y
el operador complemento o
negación. Los cuales están unidos
por los operadores del álgebra de
boole (+ . ‘) Por ejemplo, los
siguientes términos canónicos son
maxitérminos:

1. a + b' + c
2. a' + b + c
 Véase también[editar]
 Lógica binaria
 Álgebra de Boole
 Formas canónicas (álgebra
de Boole)
 Función de verdad
 Tabla de verdad
 Sistema digital
 Circuito de conmutación
 Puerta lógica
 Operador a nivel de bits

 Proyectos Wikimedia

  Datos: Q942353

 Identificadores

 Microsoft Academic: 187455244

 Ontologías

 Número IEV: 171-03-05
Categorías: 
 Álgebra de Boole
 Funciones discretas