lgebra booleana

Representacin estndar de funcionas lgicas

ESETP 703 Jos Toshke

Puerto Madryn, Chubut
Tcnicas Digitales 1 - 2015
Funciones lgicas

Para nuestros fines es la relacin entre las

entradas y cada una de las salidas de un
determinado sistema digital.

A X
B
C Y
 Funciones lgicas

Notacin: Se utiliza segn la bibliografa

Entradas al sistema:

A, B, C.

a, b, c, d

M, N, O, P

X, Y, Z

Salidas del sistema:

A, B, C.

X, Y, Z

F, F1, F2

x, y, z, f, f1, f2.
 Funciones lgicas

Notacin: Usaremos por lo general para los

casos mas genricos:

Entradas al sistema:

A, B, C.

a, b, c, d

M, N, O, P

X, Y, Z

Salidas del sistema:

A, B, C.

X, Y, Z

F, F1, F2

x, y, z, f, f1, f2.
 Funciones lgicas
Representacin estandarizada
Entradas al sistema: Variables de entrada

A, B, C.

Salidas del sistema: Variables de salida

X, Y, Z
Variables de ENTRADA/SALIDA del sistema

E/S
 Funciones lgicas
Representacin estandarizada

Y=F(A,B,C,D)
Esto significa que:

A la variable de salida de nuestro sistema

digital le llamamos Y.

Y es una funcin lgica de las variables de

entrada A, B ,C y D.
 Funciones lgicas - Representacin estandarizada
Tabla de verdad

Orden A B C Y F(A,B,C)
1 0 0 0 0 F(0,0,0)
2 0 0 1 0 F(0,0,1)
3 0 1 0 0 F(0,1,0)
4 0 1 1 1 F(0,1,1)
5 1 0 0 0 F(1,0,0)
6 1 0 1 0 F(1,0,1)
7 1 1 0 1 F(1,1,0)
8 1 1 1 0 F(1,1,1)

Estados de entrada: Cada una de las posibles

combinaciones de valores que puede tomar el conjunto
de las entradas.
 Funciones lgicas - Representacin estandarizada
Tabla de verdad
Orden A B C Y F(A,B,C)
1 0 0 0 0 F(0,0,0)
2 0 0 1 0 F(0,0,1)
3 0 1 0 0 F(0,1,0)
4 0 1 1 1 F(0,1,1)
5 1 0 0 0 F(1,0,0)
6 1 0 1 0 F(1,0,1)
7 1 1 0 1 F(1,1,0)
8 1 1 1 0 F(1,1,1)

n entradas, n=3

n 3
2 =2 =8 Estados de entrada
 Funciones lgicas - Representacin estandarizada
Tabla de verdad
Orden A B C Y F(A,B,C)
1 0 0 0 0 F(0,0,0)
2 0 0 1 0 F(0,0,1)
3 0 1 0 0 F(0,1,0)
4 0 1 1 1 F(0,1,1)
5 1 0 0 0 F(1,0,0)
6 1 0 1 0 F(1,0,1)
7 1 1 0 1 F(1,1,0)
8 1 1 1 0 F(1,1,1)

n entradas, n=3

n 3
2 2
2 =2 =2 =256 8 posibles funciones lgicas diferentes
de salida, se obtiene por calculo combinatorio
 Funciones lgicas - Representacin estandarizada
Definiciones

Literal: Es una variable el complemento (la variable

negada) de la variable.

Ejemplos:

A,
A,B ,
B , C ,C

 Funciones lgicas - Representacin estandarizada
Definiciones

Trmino de producto: Es un literal simple o el producto

de dos mas literales.

C

Ejemplos:

A. B.C
C.
B

A A
. B. C

 Funciones lgicas - Representacin estandarizada
Definiciones

Expresin suma de productos: Suma lgica de trminos de

producto.

Ejemplo:

Y = A. B.C
+ B.
C +C

 Funciones lgicas - Representacin estandarizada
Definiciones

Trmino de suma: Es un literal simple o la suma lgica de

dos mas literales.

Ejemplos:

A+
B +C C + B

A+ B + C

C
B
 Funciones lgicas - Representacin estandarizada
Definiciones

Expresin producto de sumas: Producto lgico de trminos

de suma.

Ejemplo:

Y =(
A+
B +C ).( A+
B +C ). C

 Funciones lgicas - Representacin estandarizada
Definiciones

Trmino normal: Es un trmino de suma de producto en

el cul una variable aparece una sola vez.

Ejemplos que si lo son:

A+
B +C
A. B.C

Ejemplos que no lo son:

A+ A+C +
B A. B. B.
C
 Funciones lgicas - Representacin estandarizada
Definiciones

Mintrmino de n variables: Es un trmino de producto

normal con n literales. Para una funcin con n variables
de entrada hay 2n mintrminos. Ejemplos:

A
. B
.C
A. B
.C
A.B.C
A. B. C

 Funciones lgicas - Representacin estandarizada
Definiciones

Maxtrmino de n variables: Es un trmino de suma normal

con n literales. Para una funcin con n variables de
entrada hay 2n mintrminos. Ejemplos:

A+
B +C
A+
B +C

A+
B +C
A+ B +C
 Funciones lgicas - Representacin estandarizada
Definiciones

Otra definicin de Mintrmino de n variables es: Un

trmino de producto normal con n literales que es igual a
1 en solamente una sola fila de la tabla de verdad, sea
para un solo estado de entrada.

Otra definicin de Maxtrmino de n variables: Un trmino

de suma normal con n literales que es igual a 0 en
exactamente una sola fila de la tabla de verdad, sea
para un solo estado de entrada.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

Orden A B C i Y
1 0 0 0 0 0
2 0 0 1 1 0
3 0 1 0 2 0
4 0 1 1 3 1
5 1 0 0 4 0
6 1 0 1 5 0
7 1 1 0 6 1
8 1 1 1 7 0

Cada estado de entrado representa un nmero entero

decimal, que representamos en la columna i.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

Orden A B C i
1 0 0 0 0 mintrmino 0
2 0 0 1 1 mintrmino 1
3 0 1 0 2 mintrmino 2
4 0 1 1 3 mintrmino 3
5 1 0 0 4 mintrmino 4
6 1 0 1 5 mintrmino 5
7 1 1 0 6 mintrmino 6
8 1 1 1 7 mintrmino 7

A cada estado corresponde el mintrmino i definido por el

entero representado por las variables.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

Orden A B C i Mintrmino
1 0 0 0 0 mintrmino 0 A.B .C
2 0 0 1 1 mintrmino 1 A.B .C
3 0 1 0 2 mintrmino 2 A.B .C
4 0 1 1 3 mintrmino 3 A.B.C
5 1 0 0 4 mintrmino 4 A.B .C
6 1 0 1 5 mintrmino 5 A.B .C
7 1 1 0 6 mintrmino 6 A.B .C
8 1 1 1 7 mintrmino 7 A.B.C

Cada mintrmino, para cada estado determinado, est

formado por la variable si esta toma valor 1 y por el
complemento de la variable si esta toma valor 0.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

Orden A B C i
1 0 0 0 0 Maxtrmino 0
2 0 0 1 1 Maxtrmino 1
3 0 1 0 2 Maxtrmino 2
4 0 1 1 3 Maxtrmino 3
5 1 0 0 4 Maxtrmino 4
6 1 0 1 5 Maxtrmino 5
7 1 1 0 6 Maxtrmino 6
8 1 1 1 7 Maxtrmino 7

Del mismo modo a cada estado corresponde el maxtrmino

i definido por el entero representado por las variables.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

Orden A B C i Maxtrmino
1 0 0 0 0 Maxtrmino 0 A+B+C
2 0 0 1 1 Maxtrmino 1 A+B+C
3 0 1 0 2 Maxtrmino 2 A+B+C
4 0 1 1 3 Maxtrmino 3 A+B+C
5 1 0 0 4 Maxtrmino 4 A+B+C
6 1 0 1 5 Maxtrmino 5 A+B+C
7 1 1 0 6 Maxtrmino 6 A+B+C
8 1 1 1 7 Maxtrmino 7 A+B+C

En forma opuesta, cada maxtrmino, para cada estado

determinado, est formado por la variable complementada
si esta toma valor 1 y por la variable si esta toma valor 0.
 Funciones lgicas - Representacin estandarizada
Definiciones

Repasando lo ya visto:

Otra definicin de Mintrmino de n variables es: Un

trmino de producto normal con n literales que es igual a
1 en solamente una sola fila de la tabla de verdad, sea
para un solo estado de entrada.

Otra definicin de Maxtrmino de n variables: Un trmino

de suma normal con n literales que es igual a 0 en
exactamente una sola fila de la tabla de verdad, sea
para un solo estado de entrada.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

A B C i m0 m1 m2 m3 m4 m5 m6 m7
0 0 0 0 1 0 0 0 0 0 0 0
0 0 1 1 0 1 0 0 0 0 0 0
0 1 0 2 0 0 1 0 0 0 0 0
0 1 1 3 0 0 0 1 0 0 0 0
1 0 0 4 0 0 0 0 1 0 0 0
1 0 1 5 0 0 0 0 0 1 0 0
1 1 0 6 0 0 0 0 0 0 1 0
1 1 1 7 0 0 0 0 0 0 0 1

Los mintrminos valen 1 para un solo estado de las

variables de entrada.
 Funciones lgicas - Representacin estandarizada
Mintrminos y mxterminos

A B C i M0 M1 M2 M3 M4 M5 M6 M7
0 0 0 0 0 1 1 1 1 1 1 1
0 0 1 1 1 0 1 1 1 1 1 1
0 1 0 2 1 1 0 1 1 1 1 1
0 1 1 3 1 1 1 0 1 1 1 1
1 0 0 4 1 1 1 1 0 1 1 1
1 0 1 5 1 1 1 1 1 0 1 1
1 1 0 6 1 1 1 1 1 1 0 1
1 1 1 7 1 1 1 1 1 1 1 0

Los maxtrminos valen 0 para un solo estado de las

variables de entrada.
 Funciones lgicas - Representacin estandarizada
Suma cannica - Mintrminos

Orden A B C i Y
1 0 0 0 0 0
2 0 0 1 1 0
3 0 1 0 2 0
4 0 1 1 3 1
5 1 0 0 4 0
6 1 0 1 5 0
7 1 1 0 6 1
8 1 1 1 7 0

La suma cannica es la suma de los mintrminos correspondientes a

los estados en los cules la salida vale 1 minterminos 1. Esta suma
es la expresin algebraica de la funcin. Y = A.B.C + A.B.C
 Funciones lgicas - Representacin estandarizada
Suma cannica - Mintrminos

Orden A B C i Y
1 0 0 0 0 0
2 0 0 1 1 0
3 0 1 0 2 0
4 0 1 1 3 1
5 1 0 0 4 0
6 1 0 1 5 0
7 1 1 0 6 1
8 1 1 1 7 0

Expresado como sumatoria de mintrminos.

Y =F ( A , B , C)= (ndices de los minterms 1)= (3,6)

 Funciones lgicas - Representacin estandarizada
Producto cannico - Maxtrminos

Orden A B C i Y
1 0 0 0 0 0
2 0 0 1 1 0
3 0 1 0 2 0
4 0 1 1 3 1
5 1 0 0 4 0
6 1 0 1 5 0
7 1 1 0 6 1
8 1 1 1 7 0

El producto cannico es el producto de los maxtrminos

correspondientes a los estados en los cules la salida vale 0
maxtrminos 1. Este producto es la expresin algebraica de la
funcin. Y = (A+B+C).(A+B+C).(A+B+C).(A+B+C).(A+B+C).(A+B+C)
 Funciones lgicas - Representacin estandarizada
Producto cannico - Maxtrminos

Orden A B C i Y
1 0 0 0 0 0
2 0 0 1 1 0
3 0 1 0 2 0
4 0 1 1 3 1
5 1 0 0 4 0
6 1 0 1 5 0
7 1 1 0 6 1
8 1 1 1 7 0

Expresado como producto de maxtrminos.

Y =F (A , B , C)= (ndices de los maxterms 0)= (0,1, 2, 4,5, 7)

Referencias

Diseo digital. Principios y prcticas. Tercera edicin. John F.

Wakerly. Pearson/Prentice Hall. ISBN 0-13-769191-2

Pag (206)233-(209)236