Sei sulla pagina 1di 49

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.

Pg.1


M MA AT TE EM MA AT TI IC CA AS S D DI IS SC CR RE ET TA AS S




El contenido temtico presentado en este trabajo consiste principalmente en
Algebra Booleana, que forma en gran parte el contenido del curso de
Matemticas Discretas. Adicionalmente este material contiene un tutorial para
el estudio de los temas aqu presentados por medio de una computadora.


OBJETIVOS.

1. Conocer los diferentes sistemas numricos y realizar operaciones aritmticas
en cada uno de ellos.

2. Entender las leyes, teoremas y operaciones del lgebra booleana y
familiarizarse con la utilizacin de los mismos.


3. Aplicar las leyes y teoremas del lgebra booleana para reducir expresiones
algebraicas.




DESCRIPCION BASE A TEMAS.

I.- Sistemas numricos y operacionales.


1.- Sistemas Posicionales.
1.1. Representacin Polinomial.

2.- Conversin entre bases.
2.1. Base 10 a cualquier base.
2.2. Cualquier base a base 10.
2.3. De base B1 a base B2.

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.2

3.- Aritmtica Simple.
3.1. Suma y resta de nmeros en cualquier base.
3.2. Representacin de nmeros.
3.2.1. Magnitud y signo.
3.2.2. Complementos a la base.
3.2.3. Complementos a la base menos 1.
3.3. Suma de nmeros positivos y negativos.

4.- Aritmtica BCD.
4.1. Cdigo BCD y exceso 3.
4.2. Operaciones aritmticas en BCD.
4.3. Operaciones aritmticas en exceso 3.

5.- Representacin de nmeros reales.


II.- Algebra Booleana.

1. Introduccin.
2. Operaciones bsicas.
3. Expresiones booleanas y tablas de verdad.
4. Teoremas bsicos.
5. Leyes conmutativa, asociativa y distributiva.
6. Teorema de simplificacin.
7. Descomposicin y factorizacin de expresiones.
8. Inversin.
9. Dualidad.
10. Teorema de consenso.


III.- Simplificacin Algebraica, O exclusivo y equivalencia.

1. Simplificacin algebraica de expresiones.
2. Operacin 0 exclusivo y equivalencia.
3. Lgica positiva y negativa.

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.3

I.- SISTEMAS NUMERICOS Y OPERACIONES.

Definicin: Un sistema de nmeros puede definirse como un conjunto de
reglas y smbolos que sirven para representar cantidades, el sistema
debe facilitar la realizacin de operaciones aritmticas.

El sistema decimal y romano son los dos sistemas mas conocidos.
El decimal es un ejemplo de un sistema posicional.

Un sistema de nmeros posicional consta de:

1. Una base | | 1
2. | guarismos diferentes representados por .
cada uno de estos guarismos es un smbolo que representa una cantidad
entera entre 0 y |-1 inclusive.

Ejemplo: Base 10

| = 10
10 guarismos diferentes
1,

,2, ...

10

0,1,2,3,4,5,6,7,8,9 ( entre 0 y |-1)

Ejemplo : Base 5

| = 5
5 guarismos diferentes
1,

2, ...

5

0,1,2,3,4. Entre (0 y |-1)

El sistema de nmeros incluir un smbolo para separar la parte entera de la
fraccionaria. Es el punto .

La representacin de una cantidad en forma general es:

=
n,

n-1. . .

2,

1,

-1,

-2 . . .

-m|


Cada i representa el guarismo que ocupa la posicin i dentro del nmero y |
representa la base del sistema.

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.4

El valor que representa cada guarismo i dentro del nmero depende del lugar
que ocupe relativa al punto que separa la parte fraccionaria y entera, este valor
se da por:
V (
i
) = V (i ) = i * |
i

i
* |
i

Ejemplo:


3

1
-
1
-
2
1 2 3 4 . 8 2
10 V
(
2
) = 2*10
2
= 200

2

0

El valor o cantidad que representa esta dado por:
n n
V () = V (i) = i * |
i
i=-m i =-m


Ejemplo: 1234.82
10




3
= 1

2
= 2

1
= 3

0
= 4

-1
= 8


-
2
= 2


V()= V(i) = i * 10
i

=-2*10
-2
+-1*10
-1
+0*10
0
+1*10
1
+ 2*10
2
+ 3*10
3

=2*10
-2
+8*10
-1
+4*10
0
+3*10
1
+2*10
2
+1*10
3

= 0.02 + 0.8 + 4 + 30 + 200 + 100 = 1234.82



Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.5

X X X X X X X
Ejemplo: X X X X X X X
X X X X X X X
X X X X X X X
X X X X X X X


1) Base | Guarismos () 2) Representacin
10 0,1,2,3,4,5,6,7,8,9 30.
10

5 0,1,2,3,4 110.
5

4 0,1,2,3 132.
4

8 0,1,2,3,4,5,6,7 36.
8

3 0,1,2 1010.
3

16 0,1,2,3,4,5,6,7,8,9,A,B,C
D,E,F
1E.
16

2 0,1 11110.
2




NUMEROS CON DIFERENTES BASES


DECIMAL BINARIO OCTAL HEXADEC.
00 0000 00 0
01 0001 01 1
02 0010 02 2
03 0011 03 3
04 0100 04 4
05 0101 05 5
06 0110 06 6
07 0111 07 7
08 1000 10 8
09 1001 11 9
10 1010 12 A
11 1011 13 B
12 1100 14 C
13 1101 15 D
14 1110 16 E
15 1111 17 F
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.6


2.- Conversin entre Bases.

2.1.- Conversin de Base | a Base 10.

Si la aritmtica indicada en la expansin de series de potencia es hecho en base
10 entonces el resultado es el equivalente decimal del nmero.

Ejemplo: 147.3
8

1.-
147.3
8
= 1 * 8
2
+ 4 * 8
1
+ 7 * 8
0
+ 3 * 8
-1

= 64 + 32 + 7 + 3/8
=103.375
10


2.- A2F
16
= 10 * 16
2
+ 2 * 16
1
+ F * 16
0

= 2560 + 32 + 15
= 2607
10


3.- 1011.11
2
= 1 * 2
3
+ 0 * 2
2
+ 1 * 2
1
+ 1 * 2
0
+ 1 * 2
-1
+1 *2
-2

= 8 + 0 + 2 + 1 + +
= 11.75
10



2.2.- Conversin de Base 10 a Base |.

Se separa en parte entera y en parte fraccionaria para efectuar la conversin. Se
utiliza el mtodo de divisin.

Suponer que la representacin del valor deseado en el sistema de nmeros
con base | es la siguiente:

V () =n, n-1 n-2... 2 1 0 . -1 -2... -m
|

=
n
|
n
+
n
-1|
n-1
+
n-2
|
n-2
+
2
|
2
+
1
|
1
+
0
|
0
+
-1
|
-1
+
-m
|
-m

1.- Considerar primero la parte entera del nmero.

e =
n

n-1

n-2
...
2

1

0|

V (
e
) =
n
|
n
+
n-1
|
n-1
+ ...
2
|
2
+
1
|
1
+
0
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.7


2.- Dividir e entre | obteniendo un cociente Co y un residuo r0 dados
por:

V ( e) =
n
|
n-1
+
n
-1|
n-2
+ ...
2
|
1
+
1
= Co, residuo =
1
|



3.- Dividimos el cociente Co entre |

Co =
n
|
n-2
+
n
-1|
n-3
+
3
|
1
+
2
= C
1
, residuo =
1

|

4.- Se continua hasta obtener como residuo n lo que equivale a un
residuo cero.

El remanente obtenido en cada divisin es el dgito buscado y el dgito menos
significativo es obtenido primero.


Ejemplo: 53
10
a binario

remanente
53/2 =26 1

26/2 =13 0

13/2 =6 1

6/2 =3 0

3/2 =1 1

1 /2=0 1

53
10
=110101
2


Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.8

La conversin de una fraccin decimal a Base R se efecta usando
multiplicaciones sucesivas.

1.- Separando la parte fraccionaria

f
= .
-1

-2
...-
m|
V (
f)=-1|
-1
+ -2|
-2
... +-m|
-m

2.- Multiplicando por | obtenemos:
V ( f )*|=
-1

-2
|
-1
+
-m
|-
m+1
=
-1
+ F
1

F
1=
Parte fraccional del resultado y
-1
es la parte entera

3.- Multiplicando F1 por | da:

F
1
R =
-2
+
-3
|
-1
+ ...
-m
|
-m2
=
-1
+ F
2

4.- Se multiplica sucesivamente hasta obtener el nmero suficiente de dgitos

La parte entera obtenida en cada paso es uno de los dgitos y el dgito mas
significante es obtenido primero.

Ejemplo:

Convertir .625
10
a Binario.


F= .625 F
1
= .250 F
2
=0.500
x 2 x 2 x2
1.250 0.500 1.000
(a
-1
= 1) (a
-2
= 0) (a
-3
=1)

625
10
=.101
2


El proceso no siempre termina, pero el resultado final es cuando la
fraccin se repite.



Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.9

Por ejemplo: Convertir 0.7
10
a Binario.

0.7 .4 .8 .6 .2 .4
x2 x2 x2 x2 x2 x2
1.4 .8 1.6 1.2 .4 .8
1 0 1 1 0 0 ....
0.710 = 1011001102 Se repite a partir de
este punto.


2.3.- Conversin de Base R a base S.


CUIDADO CON LOS DGITOS, NINGUNO PUEDE SER MAYOR O
IGUAL A LA BASE.

La conversin entre dos diferentes bases de 10 puede hacerse
directamente usando los procedimientos dados pero es mas sencillo
convertir primero a decimal y luego a la nueva base.


Ejemplo: Convertir 231.3
4
a base 7.


231.3 =2*4
2
+ 3*4
1
+ 1 * 4
0
+ 3*4
-1

= 32 + 12 + 1 +.75
= 45.75
10

45.75
10
base 7 .75 .25 .75 .25
45/7 = 6 residuo =3 x7 x7 x7 x7
6/7 = 0 residuo =6 5.25 1.75 5.25 1.75
5 1 5 1
231.3
4
=63.51551...
7

Otra forma aplicable solo a bases binaria, octal y hexadecimal.


Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.10

a.- conversin de binario a octal y al revs.

1. Cada dgito octal le corresponde exactamente 3 dgitos binarios (bits).
2. Empezando en el punto binario, los bits son divididos en grupos de 3.
3. Cada grupo de 3 es reemplazado por un dgito octal.

EJEMPLO: 11 010 111 110 . 001 1
2


011 010 111 110 . 001 100
3 2 7 6 1 4

=3276.14
8

Caso contrario:

3247.61
8
Binario

3 2 4 7 . 6 1
011 010 100 111 110 001

=11010100111.110001


b.- Conversin de binario a Hexadecimal.

1. Se divide el nmero binario en grupos de 4 bits.
2. Se reemplaza por el nmero hexadecimal.

Ejemplo: 100 1101 . 0101 11
2
|
16


0100 1101 . 0101 1100

4 D 5 C
= 4D.5C
16



Caso contrario: 3A7B.F1 |
2

3 A 7 B . F 1
0011 1010 0111 1100 1111 0001
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.11


1.3.- Aritmtica Simple.

1.3.1.- Suma y resta de nmeros en cualquier base.

a.- Tablas de suma en algunos nmeros de base diferente.

Base 2 Base3

0 1 0 1 2

0 0 1 0 0 1 2
1 1 10 2 2 10 11



Base 4 Base 5
0 1 2 3 0 1 2 3 4

0 0 1 2 3 0 0 1 2 3 4
1 1 2 3 10 1 1 2 3 4 10
2 2 3 10 11 2 2 3 4 10 11
3 3 10 11 12 3 3 4 10 11 12
4 4 10 11 12 13


Ejemplos de Sumas.

1341.32
5
4317.10
9
1717.45
8

+3412.14
5
+7381.46
9
+3434.55
8

10304.01
5
12708.56
9
5354.22
8




ABCD.18
16
1357.65
8
123.321
7

+CAFE.AB
16
+1177.15
8
+315.606
7

176CB.C3
16
2557.02
8
442.230
7



Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.12


b.- Tablas para resta de nmeros.

Base 2 Base 3

0 1 0 1 2


0 0 11 0 0 12 11
1 1 0 1 1 0 12
2 0 1 0


Base 8

0 1 2 3 4 5 6 7

0 0 17 16 15 14 13 12 11
1 1 0 17 16 15 14 13 12
2 2 1 0 17 16 15 14 13
3 3 2 1 0 17 16 15 14
4 4 3 2 1 0 17 16 15
5 5 4 3 2 1 0 17 16
6 6 5 4 3 2 1 0 17
7 7 6 5 4 3 2 1 0




Ejemplos de Restas:

1 11 111 1
4256. 11
7
1 4 3 1 .12
5
AB1F.C
16

-1443. 15
7
- 3 3 3 .30
5
-1789 .B
16

2512. 63
7
1 0 4 2 .32
5
9396 .1
16






Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.13


c.- Aritmtica Binaria.

La tabla de adicin puede expresarse:

0 + 0 = 0
0 + 1 = 1
1 + 0 = 1
1 + 1 = 0 y se lleva un 1 de acarreo a la prxima columna.


La tabla de sustraccin puede expresarse tambin:
0 - 0 = 0
0 - 1 = 1 y se lleva un 1 de acarreo a la prxima
1 - 0 = 1 columna.
1 1= 0 El acarreo de 1 en la columna equivale a
restar 1 de esa columna.


Ejemplos:

Suma:

1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 1
2
1 0 1 1 1 0 1 0 1 1 0
2

+1 0 1 1
2
+0 1 1 0 1 1 0 1 0 1 1
2

1 1 0 0 0
2
1 0 0 1 0 1 0 0 0 0 0 1
2



Resta:

1 1111 111 1 1 1 1 1 1 1 1
1 1 1 0 1
2
1 0 0 0 0
2
1 1 1 0 0 1
2
1 0 1 1 0 1 0 1 . 0 1 0
2

- 1 0 0 1 1
2
- 1 1
2
- 1 0 1 1
2
- 0 1 0 1 0 1 0 1. 1 0 1
2

0 1 0 1 0
2
1 1 0 1
2
1 0 1 1 1 0
2
0 1 0 1 1 1 1 1 . 1 0 1
2





Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.14

La tabla de multiplicacin para nmeros binarios es:

0 x 0 = 0
0 x 1 = 0
1 x 0 = 0
1 x 1 = 1

Ejemplo:
1 1 0 1
1 0 1 1
1 1 0 1
1 1 0 1
0 0 0 0
1 1 0 1
1 0 0 0 1 1 1 1
Divisin:
1
1011 1 0 0 1 0 0 0 1
1 1


Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.15

1.3.2.- Representacin de Nmeros.
(La diferencia es para los nmeros negativos)

Las computadoras digitales manejan cuatro tipos bsicos de datos:

1. Nmeros enteros con signo.
2. Nmeros reales con signo.
3. Nmeros BCD.
4. Caracteres.

La cantidad de bits usada para representar cada uno depende de el tipo de
dato y del equipo computacional.
Informacin de otra clase se maneja agrupando los tipos de datos
anteriores en estructuras mas complejas.


1.- Representacin de Nmeros Enteros.

Para manejar nmeros enteros con signo internamente en la computadora
digital se usan 3 representaciones:

a. Magnitud y signo.
b. Complementos a 2 (complementos a la base)
c. Complementos a 1 (complementos a la base disminuida)

Magnitud y signo es la mas sencilla pero crea mas problemas para
realizar operaciones aritmticas, fue usada en las primeras computadoras,
ahora ha cado en desuso. Los de complementos tienen relativa facilidad
de uso, siendo la mas usada la de complementos a 2.

a. Magnitud y signo.

Se usa un bit para el signo y n bits para la magnitud.
n n-1 0
S | Magnitud

0 = nmero positivo. Los n bits de la
magnitud
1 = nmero negativo. Son el valor absoluto de la
cantidad representada expre-
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.16

sado en binario.
Rango: -(2
n
-1) 2
n
-1
n = 4 -15 15
1111 01111
Debe existir un bit = s
Para el signo.
Cantidad mayor en este formato = 2
n-1
-1
Cantidad menor en este formato = -(2
n-1
-1)


Ejemplos: Utilizando 8 bits * 8
avo
bit = signo
* 0 7 bit = magnitud

Decimal Rep. en Magnitud y Signo
127 01111111
78 01001110
25 00011001 Si n=7
1 00000001 rango de cantidades
2 0 00000000 = 2
n
-1 = 127 a
Represent. 0 10000000 - (2
n
-1) = -127
-1 10000001
-25 10011001
-78 11001110
-127 11111111


b.- Complementos a 2.

Formato
n n 1 0
S | Magnitud


1. Un nmero positivo N se representa por un 0 seguido de la magnitud,
igual que en magnitud y signo -.

2. Un nmero negativo, -N, es representado por su complemento a 2, N*,

N* = 2
n
N n = longitud de la palabra
N = Valor absoluto de la cantidad = |N|
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.17


Ejemplo 1:
-3 si n = 4 bits y N=|-3|= 3
N* = 2n -N N* = 2
4
-3 = 16-3 = 13 = 1101

Ejemplo 2:
-1 si n = 8 bits y N = 1
N* = 2
8
N = 256 1 =255 = 11111111

Ejemplo 3:
-1 con n = bits N = 1
N* = 2
4
1 = 16 1 = 15 = 1111

Rango: 4 signo
1 3 mayor

n = 4 mayor 2
n
-1 = 7
menor = -2
n
= - 6

Para complementos a 2 se presenta el mismo caso para bit mas a la
izquierda, es 1 para nmeros negativos.

El nmero mayor que se puede representar en este formato es 2
n
-1 ya que
solamente se dispone de un bits para la magnitud.

El menor nmero que puede ser representado es 2
n
lo que corresponde a 1
en el bit de signo y ceros en los bits de magnitud. El cero tiene una
representacin nica en el formato.


Usando 8 bits en total.

127 01111111 0 00000000
78 01001110 -1 11111111
25 00011001 -25 11100111
1 00000001 -127 10000001
-128 10000000



Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.18


c.- Complementos a 1.

n n 1 0
S | Magnitud

Un nmero negativo , -N representado en complemento a 1 por N, se define
por:

N = ( 2
n
-1) N n = longitud de palabra
N = valor absoluto de la cantidad a representar

Ejemplo 1:
-0 n = 4 y N = 0
N = (2
4
-1) 0 = 15 =1111

Ejemplo 2:
-1 para n = 4 N = 1
N = (256 1) 1 = 254 = 11111110

En este formato el cero admite 2 representaciones (-0 y +0).

El mayor valor que se puede representar es 2
n
-1 y el menor es (2n-1)

Ejemplos:

127 01111111
78 01001110
25 00011001
1 00000001
0 00000000
-0 11111111
-1 11111110
-25 11100110
-78 10110001
-127 10000000




Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.19


Resumen de la presentacin.
Longitud de la palabra n = 4

+N

Enteros Positivos
(Todos los
Sistemas)

-N
Ent. Neg.
Signo y
Magnitud.
Ent. Neg.
Complement
a
2 N*
Ent. Neg.
Complement
a
1 N
+0 0000 -0 1000 ---- 1111
+1 0001 -1 1001 1111 1110
+2 0010 -2 1010 1110 1101
+3 0011 -3 1011 1101 1100
+4 0100 -4 1100 1100 1011
+5 0101 -5 1101 1011 1010
+6 0110 -6 1110 1010 1001
+7 0111 -7 1111 1001 1000
-8 ---- 1000* ----
Todos tienen un 1 en la -8 no tiene
Posicin mas a la izq. Representa-
cin en N
Otra forma para 4 bits.
Otra forma para formar De encontrar
N* de N es iniciar en el Complementos
lado derecho y complementar a 1 es complementar
todos los bits a la izquierda, +N cambiando
del 1
er
1,menos*. 1
s
por 0
s
y 0
s
por 1
s



1.3.3.- Sumas de nmeros positivos y negativos.

a.- La adicin usando complementos a 2 se lleva como si todos los
nmeros fueran positivos y cualquier acarreo de la posicin del
signo se ignora. Esto siempre d el resultado correcto excepto
cuando ocurre un overflow.

Overflow = desbordamiento.

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.20

Cuando la longitud de la palabra es n bits, ocurre un overflow
cuando la representacin de la suma incluyendo el signo requiere
mas de n bits.

Los casos que pueden presentarse para sumas de nmeros son los
siguientes : para n = 4

1.-Sum <2
n-1 suma
de 2 nmeros positivos.
+3 0011
+4 0100
+7 0111
2.-Sum2
n-1
suma de 2 nmeros positivos.
+5 0101
+6 0110
+11 1011 error por overflow +11 requiere 5 bits
incluido el signo.

3.-Suma de un nmero positivo y uno negativo (nmero negativo
de magnitud mayor)
+5 0101
-6 1010
-1 1111

4.-Mismo caso anterior con nmero positivo de mayor magnitud.
-5 1011
+6 0110
+1(1) 0001 Respuesta correcta cuando el acarreo de
bit del signo es ignorado *esto no es overflow.

5.- Adicin de 2 nmeros negativos, |sum|2
n-1

-3 1101
-4 1100
-7(1) 1001 Respuesta correcta cuando el ultimo
acarreo es ignorado *esto no es overflow.
6.- Adicin de 2 nmeros negativos, |sum| >2
n-1

-5 1011
-6 1010
-11(1) 0101 Incorrecto debido a overflow 11 requiere
5 bits incluyendo el signo.
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.21

b.- Suma con Complementos a 1s.

Similar a la anterior solo que en cambio de descartar el ltimo acarreo se
adiciona a la suma de n bits en la posicin mas a la derecha.

Los casos posibles para n = 4 son:

1 y 2 igual que en los complementos a 2.

3 Adicin de nmeros positivos y negativos (nmero negativo de mayor
magnitud).


+5 0101
-6 1001
-1 1110 Respuesta correcta.



4.-Mismo caso anterior (nmero positivo de mayor magnitud).


-5 1010
+6 0110
+1 (1) 0000
1 acarreo final
0001 Respuesta correcta, no hay overflow.


5.-Adicin de 2 nmeros negativos,|sum|<2
n-1



-3 1100
-4 1011
-7 (1)0111
1 acarreo final.
1000 Respuesta correcta, no overflow.


Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.22

6.-Adicin de 2 nmeros negativos, |sum|2
n-1

-5 1010
-6 1001
-11(1) 0011
1 acarreo final.
0100 Respuesta incorrecta debido al overflow.

ltimo bit indica positivo
Lo cual es un error en este caso.

Un overflow ocurre si sumamos 2 nmeros positivos dando uno negativo
como respuesta o al contrario.



1.4.- Representacin de nmeros reales.

Para representar nmeros reales en una computadora digital se debe
determinar el orden de magnitud de las cantidades con las que se desea
trabajar y la precisin con que se desean representar.

Por ejemplo:

Orden de 10
30
y 10
-30
con cierto grado de precisin.
Para facilitar el manejo de estas cantidades se utiliza la notacin
cientfica. Un nmero expresado consta de:

3 . 1 4 E + 1 6

parte entera parte potencia de 10
mayor que fracc.
Cero y la cant.
Y menor de dgitos
Que 10. Depende de
La precisin
Que se desea.

Unidas se denomina Mantisa.
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.23


Formato general de la notacin cientfica.

A Sdo . d
-1
d
-2
...d
-m
X 10
E

di = dgitos
S = signo (+,-)
do = entera
d
-1
...d
-m
= fraccin
m = depende de la precisin deseada.
E = nmero entero con signo.

En ciertos casos (como 1/3) es imposible representar la cantidad exacta, esto
produce errores de representacin.

De estos existen 2 tipos:
1. Error absoluto : no da idea acerca de la precisin de la representacin.
2. Error relativo : da una idea clara de la precisin de una representacin.

Ejemplo: Cantidad Error Absoluto Error Relativo
10 1 0.1=10%
10000000 1 0.000001=0.0001%

La representacin de nmeros reales en las computadoras digitales es utilizando
formas parecidas a la notacin cientfica.

Una de estas es:
= S 0.
-1

-2
...
-m2
X10
E
= S
m
X10
2
E


signo de mantisa normalizada exponente entero
la mantisa en binariom es un con signo (E) que indica
nmero mayor que la potencia a la que tiene
2
-1
y menor que 1 que elevarse la base (10
2
)
(2-1^
m
<1)

Ejemplo: con 8 bits significativos
125= 1111101
2
= + 0.11111010
2
X 10
2
7

-0.0625=-0.0001
2
= -0.10000000
2
X10
-3

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.24

El formato de las computadoras digitales para esta notacin es el siguiente:

1bit ebits mbits
S | Ae | Am
Exponente Mantisa

0=positivo Exponente binario E Mantisa normalizada
1=negativo polarizado en 2
e-1
la en binario usando m bits
polarizacin se usa (2-1A
m
<1)
para evitar tener un
bit de signo para el
exponente.
Para obtener este nmero
Binario sin signo (Ae) se
Suma la polarizacin (2
e-1
)
al exponente con signo E.

Para obtener el exponente con signo se resta la polarizacin al nmero
binario sin signo Ae.

Pasos para representar un nmero real en este formato:

1. Representar el nmero binario.
2. Expresar el nmero binario como una mantisa normalizada
multiplicada por la base (10
2
) elevada a la potencia E.
3. Obtener la mantisa A
m
con m bits, aadir ceros o truncar segn el caso
para tener los m bits.
4. Sumar la polarizacin (2
e-1
) al exponente E para obtener el exponente
polarizado Ae.
5. Determinar el bit de signo del nmero.
6. Ensamblar el signo, exponente y mantisa en el formato.

Ejemplo: Representar el nmero 2441.5 en el formato anterior usando 7 bits
para el exponente y de 16 bits para la mantisa.

1 Rep. en binario -2441.5 = 100110001001.1
2
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.25

2 Mantisa normalizada -0.
-10010001001.1
2
=-0.1001100010011
2
X 10
2
12

3 Mantisa con m bits (m = 16)
.1001100010011000
2

4 Sumar polarizacin.
E = 12, polarizacin = 2
e-1
= 2
7-1
=2
6
=64
Exponente polarizado: 12 + 64 = 76 = 1001100
2
=Ae

5 bit del signo
nmero negativo bit del signo = 1

6 Ensamblar el formato.
1 | 1001100 | 1001100010011 | 000

S exponente mantisa

Ejemplo 2: Representar 0,2 en este formato.
1.- 0,2 = 0.0011001100110011...
2
(serie infinita)
2.- = 0.11001100110011001100...
2
X 10
-2
3.- Am= .1100110011001101
2


Cuando es necesario truncar se hace lo siguiente:

- Si el bit que ocupa la posicin m(1) es cero, se truncan los bits.
- Si el bit que ocupa la posicin m(1) es uno, se redondea la mantisa
(se le suma 2
-(m+1)
.

4.-E = 2, polarizacin = 2
e-1
= 64
exponente polarizado = -2 + 64 = 62 = 0111110
2
= Ae

5.- Bit del signo = 0

6.- 0 | 0111110 | 1100110011001101
S exponente mantisa

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.26

La precisin de este formato es 2
-m+1
, se tienen m-1 bits
significativos, la precisin depende exclusivamente del nmero de bits de
que se disponga para la mantisa.

1.5.- Aritmtica BCD.

1.- Cdigo BCD.

La mayora de las aplicaciones administrativas que requieren
exactitud en cierto nmero de cifras decimales usan la representacin de
datos en BCD Binary Coded Decimal

Esta forma utiliza 4 bits para representar o codificar cada signo del
nmero decimal que se desea y el cual es como sigue:

Dgito BCD
0 0000
1 0001
2 0010
3 0011
4 0100
5 0101
6 0110
7 0111
8 1000
9 1001

Para representar nmeros en BCD se fija el nmero de dgitos enteros y
decimales que se desea usar y se asignan 4 bits por cada dgito.


Ejemplo: 9 3 7 . 2 5

1001 0011 0111 . 0010 0101 Representacin
BCD 8421.



Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.27

2.- Aritmtica en BCD.

Suma: 2 nmeros en BCD con un dgito cada una.

Si R = resultado

Caso 1: 0 R9 resultado correcto
El resultado es de un solo dgito por lo tanto
requiere de solo 4 bits para representarlo.

Caso 2: R >9 Su representacin requiere de 2 dgitos.
Para obtener el resultado correcto se suma un 6
que representa el complemento a 2 de 10.

Ejemplos:

2 0010 3 0011
+5 0101 +6 0110
7 0111 9 1001


137 0001 0011 0111 DCB
+381 0011 1000 0001 DCB
518 0101 1011 1000
0111
(1) 0001
R = 0101 0001 1000

7 0111
+5 0101
(1)2 1100
+ 0110 sumar 6
(1) 0010

9 1001
+8 1000
(1) 7 (1) 0001
0110
(1) 0111
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.28

2.- ALGEBRA BOLEANA

1.-Introduccion
El lgebra boleana es el lgebra de la lgica. Fue creada por el
matemtico ingls George Boole (1815-1864) en el ao de 1854.


El lgebra boleana es til para estudiar el diseo lgico de sistemas
digitales entre los cuales estn las computadoras, esto se debe a que los
dispositivos involucrados en computacin son esencialmente dispositivos en
dos estados y en lgebra boleana todos los valores de las variables asumen solo
uno de los valores.

VARIABLES BOLEANAS

Los smbolos 0 y 1 son usados para representar esos valores, estos no son
valores binarios, no tienen valor numrico. El smbolo 0 puede representar
un bajo voltaje o Falso y el smbolo 1 puede representar un alto voltaje o
Verdadero.


2.- OPERACIONES BSICAS

Existen 3 operaciones bsicas:

1- AND Y . .
2- OR O + v
3- NOT NO , ~

1- Operacin AND

Se representa por: A B = AB = A.B Se lee A y B

Se define por A B AB
0 0 0
0 1 0
1 0 0
1 1 1 Para que el valor de la operacin .
sea 1 los 2 operandos deben ser 1.
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.29


La compuerta lgica que ejecuta la operacin AND es:


2 Operacin OR

Se representa por: A + B = A v B Se lee A B

Se define por A B A + B
0 0 0
0 1 1 Igual a 1 cuando cualquiera
1 0 1 de los operandos es 1.
1 1 1

La compuerta lgica que ejecuta la operacin OR se representa por:

3 Operacin NO

Representacin A

, Se lee no A A complemento
Se define A A

0 1 0

= 1
1 0 1

= 0

Un nombre alterno para el complemento es el inverso.

Simblicamente se representa:

X o X


C= A*B
A
B
Otra representacin con switches
C=A+B
OR opera
en
paralelo
=0
=1
1 A
2
AND opera en serie
AND
B
A
B
2
A
B
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.30

Jerarqua de Operaciones:

Primero los de mayor jerarqua.
1.-Parntesis, primero los mas internos y luego hacia fuera.

En ausencia del parntesis.
1NOT
2AND
3OR


3.-Expresiones Booleanas y tablas de verdad.

Las expresiones booleanas se forman aplicando las operaciones bsicas a una o
ms variables o constantes.

Ejemplo de expresiones son: AB

+ C
|A(C + D)|

+ BE

Cada expresin corresponde a una red de compuertas lgicas.

Ejemplo 1: AB

+ C






Ejemplo 2: |A(C + D)|

+ BE









Una expresin es evaluada sustituyendo un 1 o un 0 en cada variable.

AB
1
+C
C
C
C
C
C
B
1

A
B
|A(C+D)|
1
+BE
A
|A(C+D)|
1

C
D
C+D
A(C+D)
B
E

BE
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.31

Si A = B = C = 1 y D = E = 0 la expresin

|A(C+D)|
1
+BE = |1(1+0)|

+ 1.0 =|1.1|

+ 0 = 0+0 = 0
literal

Cada aparicin de una variable o su complemento se denomina una literal.

La siguiente expresin tiene 3 variables y 10 literales.
Ab

c + a

b + a

bc

+ b

c


Cuando la expresin se realiza usando compuertas lgicas cada literal en la
expresin corresponde a una entrada de la compuerta.

Una Tabla de Verdad especifica los valores de una expresin booleana para
cada combinacin posible de valores de las variables en la expresin.


Ejemplo 1:
A






TABLA DE VERDAD
A B A
1
F=A
1
+B
0 0 1 1
0 1 1 1
1 0 0 0
1 1 0 1

La tabla de verdad especifica la salida de la red para todas las posibles
combinaciones de valores de entrada de A y B.





F=A
1
+ B
B
A
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.32

Ejemplo 2: AB

+ C

A B C B

AB

AB

+ C A + C B

+ C (A+C)
(B

+C)
0 0 0 1 0 0 0 1 0
0 0 1 1 0 1 1 1 1
0 1 0 0 0 0 0 0 0
0 1 1 0 0 1 1 1 1
1 0 0 1 1 1 1 1 1
1 0 1 1 1 1 1 1 1
1 1 0 0 0 0 1 0 0
1 1 1 0 0 1 1 1 1

Dos expresiones son iguales si tienen el mismo valor para cada posible
combinacin de variables AB

+ C = ( A + C ) ( B + C )


4.- Teoremas Bsicos:

1.- Teoremas del elemento identidad.
1a. A + 0 = A 1a
1b. A * 1 = A 1b


2.- Teoremas de idempotencia.

2a. A + A = A 2a
2b. A * A = A 2b

3.- Teoremas utilizando ceros y unos

3a. A + 1 = 1 3a
3b. A * 0 = 0 3b

4.- Teoremas en complementacin.

4a. A + A
1
= 1 4a
4b. A * A
1
= 0 4b
4c. ( A
1
)
1
= A 4c
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.33


5.- Teoremas de DeMorgan.

5a. (A + B )
1
= A
1
* B
1
5a
5b. (A * B )
1
= A
1
+ B
1
5b

6.- Teoremas de conmutatividad.

6a. A + B = B + A 6a
6b. A * B = B * a 6b

7.- Teoremas de asociatividad.

7a. A + (B+C) = (A+B) + C = A + B + C 7a
7b. A* (B*C) = (A*B) * C = A* B * C 7b

8.- Teoremas de distributividad.

8a. A + (B * C) = (A + B) (A + C) 8a
8b. A * (B + C) = (A* B) + (A*C) 8b

9.- Teorema de absorcin.
9a. A + A * B = A 9a
9b. A * (a + B) = a 9b


10.- Teoremas de simplificacin.

10a. A * B + A * B
1
= A 10a
10b. (A + B) (A + B
1
) = a 10b

11a. A + A
1
B = A + B 11a
11b. A* ( A
1
+ B) = A * B 11b


11.- Teoremas de Concenso.

12a. AB + A
1
C + BC = AB + A
1
C 12a
12b. (A+B)(A
1
+C)(B+C)=(A+B)(A
1
+C) 12b

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.34

PRUEBAS DE LOS TEOREMAS

1 Por induccin.
2 Por deduccin.

1 Prueba por induccin, utilizando tablas de verdad

A B A

+B

(A*B) (A*B)


0 0 1 1 1 0 1
0 1 1 0 1 0 1
1 0 0 1 1 0 1
1 1 0 0 0 1 0




2 Prueba por deduccin, utilizando los mismos teoremas

2a. A + A = A A + A = (A + A) * 1
= (A + A) * (A + A
1
)
= A + A
1
A de X + YZ = (X+Y)(X+Z)
= A + 0
= A


9a. A + A* B = A =A * 1 + A * B
=A(1 + B)
=A (B + 1) de X + 1 = 1
=A * 1
= A


3.- A * B + A * B

= A
= A*( B + B

)
= A*1
= A




Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.35

DEMOSTRACIN DE IGUALDADES


a ( ab + c ) = ab + ac
= (a *ab) + ac de 8b
= a * a * b + a * c de 7b
= a * b + a * c de 2b

a ( a

b + c ) = ac
= a * a
1
* b + a * c de 8b
= 0 * b + a * c de 4b
= a * c de 3b

9 ab
1
c + a
1
b
1
c=b
1
c
= b
1
c de 10a A= b

c y B = a

. ac + a(bc +c
1
) = a
= ac + abc + ac
1
de 8b a la segunda expresin
= a ( c + bc + c
1
) factor comn
= a (bc + 1) de 4a
= a (1) de 3a
= a de 1b


SIMPLIFICACIN:

1.- f = X

+ XYZ

+ XY = XY(Z + Z

) + X

Z


= X1 * Y1 *(Z + Z1) + X* Y * (Z + Z

) de 9b
= X

* Y

* 1 + X * Y * 1 de 4a
= X

+ XY de 1b


2.- f = a

c + a

bc

+ab

+abc


=
a

c + a

bc

+ abc

+ abc

+ abc

de 2a
= a

c + (a + a

9 b c

+a c

(b

+ b) de 9b
=a

c + 1 * bc

+ ac

* 1 de 4a
= a

c + bc

+ ac

de 1b
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.36


3.- f= (X
1
+ X
2
+ X
3
) (X
1
+ X
2

+ X
3
)(X
1

+ X
2
+ X
3
)(X
1

+ X
2
+ X

3
)
=(X
1
+ X
3
)(X
1

+ X
2
) de 11b
=X
1
X
1

+ X
1
X
2
+ X
1

X
3
+ X
2
X
3
9b
=X
1
X
2
+ X
1

X
3
+X
2
X
3
4b y 1
= X
1
X
2
+ X
1

X
3
13a


TEOREMAS DE SIMPLIFICACIN:

1 X + XY = X 9a X(X + Y) = XX 9b
2 XY + XY
1
= X 10a (X +Y) (X + Y
1
) = X 10b
3 (X + Y1)=XY 11a XY
1
+ Y = X + Y 11b


De 3. Simplificacin de una compuerta lgica.

Y = A(A1 +B) = AB









Cualquier expresin puede ser sustituida por X y Y en los teoremas.


SIMPLIFICAR:

1.- Z=A

BC+A

Forma X + XY = X

X = A

y Y = BC

ABC + A

= A


Este circuito equivale a
A
B
A
Y=A(A
1
+B)
A
B
(A
1
+B)
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.37



2.- Z=|A + B

C + D + EF||A + B

C + (D+EF)

|
X Y X Y

(X + Y)(X + Y

)= X

Z= A+ B

C

3.- Z=(AB+C) (B

D+C

E

) + (AB+C)


Y

X + Y (X Y

) + Y = X + Y

Z= (B

D + C

E

) + (AB+C)




4.- ABC

+ (ABC

)

= A + A


= 1 de 4.


5.- Z = (AB + CD

)(AB + D

E ) de 8a (A + B) (A + C) = A + BC

= AB + CD

E

6.- Z = A + B

C + D

(A + B

C) de 9a A + AB = A

= A + B

C

7.- AB

(C + D) + (C + D)

de 11a. A + A

B = A + B

= (C +D)

+ AB


8.- |(EF)

+ AB + C

|(EF) de 11b. A*(A

+B) = A * B

=(EF)*(AB + C

D

)






Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.38


DESCOMPOSICIN Y FACTORIZACIN DE EXPRESIONES

DESCOMPOSICIN:

Para descomposicin se usan las dos leyes distributivas.
Con esto se obtiene una suma de productos.
La suma de productos es el resultado final de la descomposicin.


Ejemplo: AB

+CD

E+AC

E



Para descomponer:

1 aplicar la ley distributiva cuando sea posible

(X+Y)(X+Z)=X+YZ 8a

Ejemplo: Descomponer: (A+BC) (A+D+E)

X = A
Y = BC
Z = D + E
= A + BC*(D+E)
= A + BCD + BCE



Otra forma seria multiplicar todo y luego eliminar trminos redundantes

= A +AD+AE+ABC+BCD+BCE
=A(1+D+E+BC) + BCD + BCE
=A +BCD + BCE




Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.39


- FACTORIZACION:

- Pueden utilizarse las 2 leyes distributivas.
- El objeto es obtener un producto de sumas.

Ejemplo: (A + B1)(C + D

+E)(A+C

+E

)

Una expresin esta completamente factorizada si y solo si esta en forma de
producto de sumas.

Ejemplos: Factorizar:

A + B

C

D Forma : X + YZ = (X+Y) (X+Y)
donde: X = A
Y = B


Z = CD

=(A+B
1
)(A+CD)
Todava puede factorizarse X = A
Y = C
Z = CD

= (A + B
1
)(A+C)(A+D)

AB

+C

D X = AB

Y = C

Z = D

= (AB
1
+C

)(AB

+D)
=|(A + C

)+(B

+ C

| |(A + D)(B

+D)|

9 C

D + C

E

+ G

H
1 De 8b (A*B)+(A*C)=A*(B+C)

= C

(D+E

) + G

H
2 La ley distributiva X+Z
= (X+Y) (X+Z)
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.40

= (C

(D+Z

) + G

(C

(D+E

) +H) X
= C (D+E

) G

H
Y=C


Z=D + E


=(G

H+C

)(G

H+D+E

) Aplicando otra vez

=(C

+G

)(C

+H)(D+E

+G

)(D+E

+H)


Ejemplos:

DESCOMPOSICIN:

(A + B) (A+C

) (A+D) (BC

D+E) (X+Y)(X+Z) = X + YZ
= (A+BC

) (A+D) (BC

D+E)
= (A +BC

D) (BC

D+E)
= (BC

D +A) (BC

D+E)
= ABC

D + AE + BC

D*BC

D + BC

DE
= BC

D +AE
= BC

D+AE
= BC

D+AE

(A + B

+ C) (B

+ C + D) (A

+ C)
= |(B

+ C) + (A * D)| (A

+ C)
= (B

+ C + A) (B

+ C + D) (A

+ C)
= |(B

+ C) (A * D)| (A

+ C)
= (A

+ C) (B

+ C) + (A

+ C) (A * D)
= A

B

+ A

C + CB

+ C + A

D + AC + CD
= A

B

+ C (A

+ B

+ 1 + DA + D) + A

D
= A

+ C + A

D
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.41



INVERSIN:

El inverso o complemento de cualquier expresin booleana se encuentra
aplicando los teoremas de DeMorgan.

5a. (X+Y)

= X


5b. (XY)

= X

+Y

el complemento del producto es


la suma de los complementos

Ejemplo: Encontrar el inverso o complemento.

(A

+B)C


= (AB

)C

= |(A

+ B)C


= (AB

)

+ C = (A

+ B

) + (C

)

= AB

+ C
|(AB

+ C)D

+ E|

= |(AB

+ C)D

(E)


= (AB

+C)

+(D

)

*E


= |(AB

)

*C

+D)|* E


= |(A

+B) * C

+ D)|*E



II.- 9
DUALIDAD:

Para formar el dual se hace lo siguiente:
1.-Intercambiar los operadores AND POR OR
OR POR AND
2.-Intercambiar los 0s por 1s y 1s por 0s.
3.-Las variables se dejan igual.

Ejemplo: (a + B)

= A

*B

inverso
A + A

= 1 = A*A

= 0

II.- 10
TEOREMA DEL CONCENSO:

- Muy til en simplificar ecuaciones booleanas, se utiliza para eliminar
trminos redundantes.
- Una expresin de la forma
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.42


XY + X

Z + YZ
El trmino YZ es redundante y puede ser eliminado dando el siguiente
resultado.

=XY + X

Z
- El trmino eliminado se denomina Trmino de Concenso.

Ejemplos:

Encontrar el concenso de:

ab + a

c TC = bc
abd + b

de

TC = ade


9 ab

d + a

bd

TC = 0
Simplificar:
x y x

z y z
a

+ ac + bc

+ b

c + ab
TC: b

c TC: ab
Ambos trminos de concenso pueden ser eliminados.
= a

+ ac + bc



E = xyz + x

+ xyz

+ x

z
=xz + xy + x

+ yz
xy + x

z + yz = xy + xz

Ejemplos:

a

+ ac + bc

+ b

c + ab = a

+ ac + bc


x z x y TC



(a + b + c

) (a + b +d

) (b + c + d

) (x + y) (x

+ z) (y + z) = (x + y) (x

+
z)
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.43

z x

y x y TC= a + b + d


=(a + b + c

) (b+ c + d

)

9 Otra forma , utilizada cuando no se pueden eliminar trminos
1 2 3 4
F= ABCD + B

CDE + A

B

+ BCE


Unico trmino de los TC encontrados ninguno se
De aqu. Encuentra en la expresin original
no puede ser eliminada.


Secuencia: 1 Si adicionamos el TC ACDE obtenido de 1 y 2 queda:


____ _____
F = ABCD + B

CDE + A

B + BCE

+ ACDE
ACDE

=A

B

+ BCE

+ ACDE




TEOREMA DE CONCENSO:
Ejemplos:
AC

D
____ ____
BC

+ ABC

+ AC

D + AB

D + A

BD

= ABC

+ AB

D + ABD

ABCD
B
1
CDE
ABC
1

BC
1
D
1

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.44




UNIDAD III.

SIMPLIFICACION ALGEBRAICA-OR EXCLUSIVO Y
EQUIVALENCIA

A. SIMPLIFICACION ALGEBRAICA.-

1.-Se utilizan los teoremas del lgebra booleana.
2.-La simplificacin ayuda a reducir los costos de los circuitos.
3.-En adicin a descomposicin y factorizacin, tres formas bsicas de
simplificacin son:
3.1- Combinando Trminos.
3.2- Eliminando Trminos.
3.3- Eliminando Literales.

3.1- Combinando Trminos:
Se utiliza XY + XY

= X para combinar
Ejemplo: abc

+ abcd

x = abd


y = c y

= c


= abd


NOTA: En la combinacin los 2 trminos a combinar deben tener
exactamente las mismas variables y exactamente una de las variables
debe aparecer normal en un trmino y complementada en el otro.

3.2- Eliminando Trminos:
1- Utilizando: X + XY = X para eliminar trminos redundantes.
2- Tratar de aplicar el teorema del Concenso XY + X

Z + YZ = XY
+ X

Z para eliminar el trmino de concenso.



Ejemplo 1: a

b + a

bc a

b y = c = a

b

Ejemplo 2: a

bc

+ bcd + a

bd X=C
Y = bd
Z =a

b XY + X

Z + YZ = XY +
X

Z
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.45

= bcd + a

+ a

bc




3.3- Eliminando Literales:
Utilizando X + X

Y = X + Y
Si es necesario primero se factoriza antes de aplicar el teorema.

Ejemplo: A

B + A

+ ABCD



= A

(B + B

D) + ABCD


=A

(B + C

D) + ABCD


=A

B + A

D + ABCD

Factorizacin utilizando el teorema
=B(A

+ CD

) + A

D
=B(A + CD

) + A

D
=AB + BCD

+ A

D

Ejemplo: Simplificar:

O xy + x

yz

+ yz
O (xy

+ z) (x + y

) z
x x



III.- 2. PRUEBA DE VALIDEZ DE UNA EXPRESIN

Se utiliza para determinar si una ecuacin es vlida para todas las
combinaciones de valores de las variables.

Mtodos para determinar la validez:

1- Construir una tabla de verdad y evaluar ambos lados de la ecuacin para
todas las combinaciones posibles de valores de las variables.

2- Manipular un lado de la ecuacin aplicando los teoremas hasta llegar a una
expresin idntica a la del lado derecho.

3- Reducir ambos lados de la ecuacin independientemente a la misma
expresin.

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.46

Ejemplo 1. Con la tabla de verdad.
2.Mostrar que A

BD

+ BCD + ABC

+ AB

D = BC

+ AD + A


BC
Pasos: 1- Iniciamos con el lado izquierdo adicionando trminos de
concenso.
2- Combinamos trminos.
3- Eliminamos trminos por concenso.
C C C C C C
1- =A

BD

+ BCD + ABC

+ AB

D + BC

+ A

BC + ABD



2- Combinacin de Trminos : XY + XY

= X
De y 7 AB

D + ABD X=AD Y=B =AD


= A

BD

+ BCD + ABC

+ BC

+ A

BC + AD
Repitiendo:
c - = ~
AD + A

BD

+ BCD + ABC

+ BC

+ A

BC

=c y 6 =de 5 y 1
se elimina
por TC de 5 y 6
= AD + BC

+ A

BC

III.-3.OPERACIN O-EXCLUSIVO Y EQUIVALENCIA

A. OPERACIN O-EXCLUSIVO

Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.47

1- Se define : 0 0 = 0
0 1 = 1
1 0 = 1
2 1 = 0
2- Tabla de verdad:
X Y X Y

0 0 0
0 1 1
1 0 1
1 1 0

X + Y = 1 solo s X = 1 Y = 1, no ambos.

3- Expresado en trminos de ANDS Y ORS:
Y = XY

+ X

Y X
4- Smbolo:
5- Teoremas
14.1 X 0=X
14.2 X 1=X


14.3 X X=0
14.4 X X

=1
14.5 X Y=Y X Ley
Conmutativa.
14.6 (X Y) Z=X (Y
Z)=X Y Z
Ley Asociativa.
14.7 X(Y Z)=XY XZ Ley Distributiva.
14.8 (X Y)

= X Y

= X

Y = XY +
X



B. OPERACIN EQUIVALENCIA
1- Se define:
(00)=1
(01)=0
X
Y

X Y
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.48

(10)=0
(11)=1
2- Tabla de verdad. XY

X Y XY
0 0 1
0 1 0
1 0 0
1 1 1
(XY)=1 si y solo si X=Y

3- Expresando en trminos de ANDS y ORS
(XY)=XY+X


La operacin equivalencia es el complemento de X-OR
(X + Y)

=(X

Y + XY

=(X

*(XY

=(X+Y

)(X

+Y)=XY+X

=(XY)


4- Smbolo:




contengan primero se Para simplificar expresiones que
aplica y
(X Y)= XY

+ X

Y
(X Y)=XY + X

Y
|

Ejemplo: Simplificar:

F=(A

BC) + (B + AC

)
= |A

BC + (A

B)

| + |B(AC

) + B

AC

|
= A

BC + (A + B

) C

+ B (A

+ C) + AB

C
= A

BC + AC

+ B

+ AB

C

+ A

B + BC
X
y
X Y
Ya que la equivalencia es el
complemento
Del X-OR se tiene otra representacin
para la equivalencia.
Curso: Matemticas Discretas. M.C. Luis Enrique Castauela Fuentes.


Pg.49

= B(A

C + A

+ C) + C

(A+B

+ AB

)
= B(A

+C) + C

(A + B)

Potrebbero piacerti anche