lecture9SCLogica PDF
lecture9SCLogica PDF
Le ctura 8
Pr o f e s or : E i n st e i n Mor a l e s
D e p a r t a m e n t o d e C i e n c i a s B á si c a s a b ri l d e 2 0 2 0
Tabla 2
1.2. Propiedades del álgebra
Propiedad Expresión lógica
Booleana
+ =
Así mismo, a partir de los axiomas del Idempotencia
=
algebra booleana se pueden deducir las
+1=1
siguientes propiedades descritas en la Acotación
0=0
tabla 2.
+( + )=( + )+ = + +
Asociativa
( )=( ) =
+ =
Absorción
( + )=
+ =1
Complemento
=0
DMORGAN RECUERDE D’ Morgan
( + ) =
Xxy En prey ( ) = +
Kay Xxy
Referencias: Barco, C., Barco, G., & Aristizabal, W. (1998). Matemática digital. McGraw-Hill.
1.3. Funciones Booleanas
Una expresión o función booleana es un conjunto finito de símbolos, donde cada uno representa una
constante o una variable, combinados mediante las operaciones de suma, producto o complemento. Por
ejemplo ( ) = + o ( , )= + son funciones booleanas y se dice que están representadas
algebraicamente.
1.4. Representación de Funciones Booleanas DISCUTIREMOS
d
Hay varias formas para representar una forma booleana entre ellas se encuentran la Algebraica, Por tabla
de Verdad, Numérica, Gráfica etc.
Ejemplo
El siguiente ejemplo muestra una función lógica expresada en forma algebraica y en forma de tabla de verdad
Algebraica Tabla de Verdad
( , , )= + + z ( , , )
0 0 0 0
SUPONGA QUE QUIERESABER EL VALOR 0 0 1 1
DE FCO 1,0 7 0 1 0 0
F 91,0 0 1 01 01 Ó 101.0 0 1 1 0
1 0 0 1
1 0.1 00.1 0 1.0 1 0 1 0
0 0 0 1 1 0 0
O COINCIDE CON
1 1 1 1
Referencias: Barco, C., Barco, G., & Aristizabal, W. (1998). Matemática digital. McGraw-Hill.
Si la función booleana esta expresada forma de tabla, para simplificarla es conveniente buscar su forma
algebraica por medio de la suma o producto de sus términos canónicos o también llamados Min-Términos
y Max-Términos
1.6. Forma algebraica de una función booleana por Min-Términos y Max-Términos
Considere la siguiente tabla
=1ys =0 =0ys =1 =1ys =0 =0ys =1
Min-Términos Max-Términos Min-Términos Max-Términos
1 0 0
y m X Y Mr 1 0 0 0
2 0 1
y m X xl.yl.zt.mx
yMa 2 0 0 1
x gl 2 ama
3 1 0 x y M3 X 1 Y Mrs 3 0 1 0
4 1 1 x y My X t y Me 4 0 1 1
g 2 en
y 2 my µÁ
paravalorescero Paravaloresuno 5 1 0 0 x y z mes
secoloca X y secoloca X y 6 1 0 1 x y 2 amo
paravalores uno paravalorescero 7 1 1 0
secoloca x y secoloca x y x g 2kms
8 1 1 1
Losresultados
semultiplican
Losresurtamos
sesuman
x y 2 p
Ejemplo
wanna
Encontrar y simplificar la función booleana ( , , ) especificada en la tabla
usando Min-Términos o Max-Términos 1 0 0 0
( , , )
0
r M
Min TERMINOS Max_TERMINOS 2 0 0 1 1 Ma
sesumanLos minTÉRMINOSDE semocrincanLos MaxTÉRMINOS 3 0 1 0 0 Ms
LasFinasCONUNOS DELasFinasCON ceros 4 0 1 1 0 My
5 1 0 0 0 M
FIX47 MatMatMz Fix y z Me.MSMaMims 6 1 0 1 1
mo
xlylztxylz xyzt lx.us 1xyiz xy4zYelx4yz lxty4z
7
8
1
1
1
1
0
1
1
0
Mz
Me
1.7. Funciones Boolenas en Forma normal Disyuntiva y Conjuntiva
Una función booleana está escrita en forma normal disyuntiva si está escrita como una suma de
concierne
mintérminos, es decir cada término es un producto que involucra todas las variables.
Una función booleana está escrita en forma normal conjuntiva si está escrita como un producto de
maxtérminos, es decir cada término es una suma que involucra todas las variables.
Tener en cuenta…
Para llegar a la forma normal disyuntiva de una función booleana se aplican leyes de D’ Morgan,
hasta que los complementos aparezcan aplicados a variables individuales. Después se reducen
términos por medio de la ley distributiva del producto sobre la suma. Si faltase una variable en algún
término, por ejemplo , entonces este término se puede multiplicar por + sin alterar la función
lógica.
Referencias: Barco, C., Barco, G., & Aristizabal, W. (1998). Matemática digital. McGraw-Hill.
Para llegar a la forma normal conjuntiva de una función booleana se aplican leyes de D’ Morgan, para
quitar los complementos de los paréntesis. Después se factoriza la función y si faltase una variable en
algún término, por ejemplo , entonces este término se puede sumar por sin alterar la función
lógica.
Ejemplo
FORMA NORMALCONJUNTIVA
FCX y Z City 2
NoteQue
verificar con
woreQue LapropiedadPORQUÉ
Farraz Falta y Distributiva
Ésto
L ktytz.az xxY zl yyl zResuLTn
Referencias: Barco, C., Barco, G., & Aristizabal, W. (1998). Matemática digital. McGraw-Hill.