ULEAM- Facultad de Ciencias Informticas

SISTEMAS DIGITALES

Len Flores Kimberly Adela Mecas Macas Masssiel Pico Chvez Juan Carlos

Lic. Segundo Muoz Torres

 Determinar que es una funcin booleana

Explicar los diferentes mtodos de

simplificacin

Qu es una funcin booleana?

Es una funcin 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. Se denomina funcin lgica o booleana a aquella funcin matemtica cuyas variables son binarias y estn unidas mediante los operadores del lgebra de Boole suma lgica (+), producto lgico () o negacin(')

Una funcin booleana es una aplicacin de A x A x A x....A en A, siendo A un conjunto cuyos elementos son 0 y 1 y tiene estructura de lgebra de Boole.

Forma cannica de la funcin

Es el producto de sumas o la suma de productos, en los que cada termino aparecen todas las variables de la funcin. TIPOS:

MIMTERMS o suma de productos lgicos

f=(A*B*C)+(A*B*C)+(A*B*C)

MAXTERMS o producto de sumas lgicas

f=(A+B+C)*(A+B+C)*(A+B+C)

Mtodos de simplificacin
Debemos de obtener una funcin que tenga un nmero mnimo de trminos y con el menor nmero posible de variables Los diferentes mtodos para simplificar las funciones booleanas, se pueden resumir en :

Algebraico

Mapa de Karnaugh

Numrico de QuineMcCluskey

Mtodo Algebraico
Para la simplificacin por este mtodo no slo bastar

con conocer todas las propiedades y teoremas del lgebra de Boole, adems se debe desarrollar una cierta habilidad lgico-matemtica que se adquiere fundamentalmente con la experiencia Tener en
cuenta que:

Este mtodo por lo general, no resulta cmodo para los

no expertos, a los cuales, una vez simplificada una ecuacin le pueden quedar serias dudas de haber conseguido la mxima simplificacin.

Mapas de Karnaugh

Es uno de los mtodos ms fciles para simplificar

funciones. Es una forma grfica de representar la tabla de verdad de una funcin lgica, construyendo una tabla donde a cada valor de la tabla de verdad se le asigna una casilla

 Las figuras siguientes representan los mapas de

Karnaught para funciones de dos, tres, cuatro, cinco y seis variables.

Mapas de Karnaugh

Numrico de Quine-McCluskey
El algoritmo Quine-McCluskey permite la

simplificacin de funciones lgicas de cualquier nmero de variables y es el que se utiliza para disear aplicaciones informticas en las que se necesite obtener funciones simplificadas.

 Sea la siguiente funcin a simplificar:

F (A,B,C,D)= (1,3,4,5,7,9,10,11,15)

8 mi 1 3 4 5 7 9 10 11 A 0 0 0 0 0 1 1 1 B 0 0 1 1 1 0 0 0

4 C 0 1 0 0 1 0 1 1

2 D 1 1 0 1 1 1 0 1

1 # de 1 1 2 1 2 3 2 2 3

15

La tabla presenta la lista de los mintrminos expresados en forma binaria e indica el nmero de unos que estos contienen:

En la tabla se agrupan los minterminos con el mismo nmero de unos

# de 1

mi

1
2

1
4 3 5 9 10

0
0 0 0 1 1 0 1 1

0
1 0 1 0 0 1 0 1

0
0 1 0 0 1 1 1 1

1
0 1 1 1 0 1 1 1

3 4

7 11 15

NIVEL 1-2

combin A acin 1,3 1,5 0 0

B 0 -

C 0

D 1 1

1,9 4,5
2-3 3,7 3,11 5,7 9,11 10,11 3-4 7,15 11,15

0
0 0 1 1 1

0 1
0 1 0 0 1 -

0 0
1 1 1 1 1

1 1 1 1 1 1 1

1,3 1,5 1,9 4,5 3,7 3,11 5,7 9,11

-> e
-> d

10,11 7,15
11,15 NO TIENE COMBINACION

NIVEL 1,2,3

COMBINA CION 1,3,5,7

A 0

B -

C -

D 1 -> c

1,3,9,11 2,3,4 3,7,11,15

0 -

1 1

-> b
-> a

1 A B C D E 3,7,11,15 1,3,9,11 1,3,5,7 10,11 4,5 * *

3 * * *

7 *

9 *

10

11 * *

15 * (10,11) 1010 1011 101-

* * *

* * *

F(A,B,C,D)=a+b+d+e
A= B=

D=
E=

abcd __1 1 _0_1 10 1_ 01 0_

= CD =BD =ABC =ABC

(10,11)

1010 1011 101_

F(A+B+C+D) =CD+BD+ABC+ABC

Funciones incompletas
Existen funciones con una o varias combinaciones no definidas, llamadas funciones incompletas. Esta situacin puede deberse por las dos causas siguientes: Hay combinaciones de entrada que no existen, por lo que a la salida se le puede asignar indistintamente el valor 0 o el 1. En ciertas combinaciones de entrada la salida del sistema lgico est inhibida, siendo por lo tanto su valor indiferente.