Está en la página 1de 9

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

Algebra de Boole

1) Utilizando las leyes y teoremas del álgebra de Boole, demuestre cada una de las

siguientes funciones, indicando, paso a paso, las leyes y teoremas empleados.

a)

(A + B’ + AB)(A + B’)A’B = 0

(A +B’ + AB)(A +B’)A’B

(B’+ (A + AB))(A +B’)A’B

Conmutativa y asociativa

(B’+ A)(A +B’)A’B

Absorción

(A +B’)A’B

Idempotencia

AA’B + B’A’B

Distributiva

(AA’)B + A’(BB’)

Conmutativa y Asociativa

(0).B + A’.(0) Complementación

0 + 0 Acotación

0 Idempotencia

b)

A’B(D’ + C’D) + (A + A’CD)B = B

 

A’B(D’ + C’D) + (A + A’CD)B

A’BD’ + A’BC’D + AB + A’CDB

A’BD’ + AB + A’BD (C’ + C)

Distributiva

Conmutativa y Distributiva

A’BD’ + AB + A’BD.(1)

Complementación

A’BD’ + AB + A’BD Identidad

A’B(D’ + D) + AB

Conmutativa y Distributiva

A’B.(1) + AB Complementación

A’B + AB

Identidad

(A’ + A)B

Distributiva

(1).B Complementación

B

Identidad

c)

x + x’y = x + y

 

x + x’y

(x + x’). (x + y)

Distributiva

(1). (x + y)

Complementación

x + y

Identidad

2)

Encuentre el complemento de las siguientes funciones:

a)

F = x’yz’ + x’y’z

 

F’ = [ x’yz’ + x’y’z ]’ F’ = [ x’(yz’ + y’z) ]’ Distributiva F’ = x’’ + (yz’ + y’z)’ De Morgan

F’ = x + (yz’)’(y’z)’

Involución y De Morgan

F’ = x + (y’ + z’’)(y’’ + z’)

De Morgan

F’ = x + (y’ + z)(y + z’)

Involución

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

Comprobación

x

Y

z

x’yz’

x’y’z

F=x’yz’ +x’y’z

y’+z

y + z’

(y’ + z)(y +z’)

F’= x+(y’ + z)(y + z’)

1

1

1

0

0

0

1

1

1

1

1

1

0

0

0

0

0

1

0

1

1

0

1

0

0

0

1

0

0

1

1

0

0

0

0

0

1

1

1

1

0

1

1

0

0

0

1

1

1

1

0

1

0

1

0

1

0

1

0

0

0

0

1

0

1

1

1

0

0

0

0

0

0

0

0

0

1

1

1

1

b)

F = x ( x’z’ + z)

 

F’ = [ x ( x’z’ + z)]’ F’ = x’ + ( x’z’ + z)’

De Morgan

F’ = x’ + ( x’z’)’.z’ F’ = x’ + ( x’’ + z’’).z’ F’ = x’ + ( x + z).z’

De Morgan De Morgan Involución

F’ = x’ + F’ = x’ + F’ = x’ +

x z’ + zz’ x z’ + 0 x z’

Distributiva Complementación Identidad

Comprobación

x

Z

x’z’

x’z’ + z

F = x ( x’z’ + z)

x’

x z’

F’ = x’ +

x z’

 

1

1

0

1

1

0

0

0

1

0

0

0

0

0

1

1

0

1

0

1

0

1

0

1

0

0

1

1

0

1

0

1

3)

Determine si las siguientes funciones F y G son lógicamente equivalentes:

F= X’Y’Z + X’YZ + XY’Z’ + XY’ + XY’X’’

G = X’Z + XY’

F= X’Y’Z + X’YZ + XY’Z’ + XY’ + XY’X’’ F= X’(Y’Z + YZ) + XY’(Z’ + 1 + X’’)

F= X’(Z(Y’+Y)) + XY’(1)

F= X’(Z(1)) + XY’ F= X’Z + XY’ F= G

Distributiva

Distributiva y Acotación

Complementación e Identidad

Identidad

F y G son lógicamente equivalentes

4) Sea p cierta, q falsa y r una proposición que puede ser cierta o falsa, ¿que se

puede decir de las siguientes proposiciones?

a) p.p'

p

P’

pp’

V

F

F

p.p' es una proposición Falsa

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

b) p + r

p

R

p + r V V

V

V

V

F

c) (p.q + r)(p + r)

p + r es una proposición Verdadera

p

Q

r

p.q

p.q + r

p + r

(p.q + r)(p + r)

V

F

V

F

V

V

V

V

F

F

F

F

V

F

(p.q + r)(p + r) es una proposición que depende del valor de verdad de r

Otra forma:

(p.q + r)(p + r) = ((p.q). p) + r

= ((p.p)q) + r

= p.q + r

= F + r

= r

Distributiva

Conmutativa y Asociativa

Idempotencia

p es V y q es F entonces p.q es F

Identidad

5) Demuestre algebraicamente las siguientes propiedades del operador xor.

X Y = XY’ + X’Y

i. a

0=a

a 0 = a.0’ + a’.0 Equivalencia xor

ii. a 1=a’

= Complementación y Acotación

= Identidad

a.1 + 0

a

a 1= a.1’ + a’1 Equivalencia xor

iii. a a=0

a

= Complementación e Identidad

a.0 + a’

= 0 + a’

Acotación

= a’

Identidad

a = aa’ + a’a

= 0 + 0

= 0

Equivalencia xor

Complementación

Idempotencia

6) Probar las siguientes propiedades, mediante manipulación algebraica y tablas de

verdad.

i) ab + ab’ = a

ab + ab’ = a(b + b’)

= a.1

= a

a

b

ab

ab’

ab + ab’

a

V

V

V

F

V

V

V

F

F

V

V

V

F

V

F

F

F

F

F

F

F

F

F

F

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

ii) a + (ab) = a

a + (ab) = a(1 + b)

 

=

a.1

=

a

iii)

a ( a + b ) = a

a ( a + b ) = aa + ab

= a + ab

= a(1 + b)

= a.1

= a

a

b

ab

a + ab

a

 

V

V

V

V

V

V

F

F

V

V

F

V

F

F

F

F

F

F

F

F

a

b

a+b

a(a + b)

a

V

V

V

V

V

V

F

V

V

V

F

V

V

F

F

F

F

F

F

F

7) Realice las derivaciones de los siguientes razonamientos:

a) Consideremos un político que declara en la prensa: "Si los impuestos suben, el

peso no se devalúa"; "Sube la inflación y se devalúa el peso, o bien los impuestos deben subir"; "El peso se devaluará". Dicho político realiza un informe en el que

concluye:

si la deducción del político es correcta.

"Los impuestos bajarán pero la inflación subirá a fin de mes". Determine

p: Los impuestos suben

q: La inflación bajará

r: Se devalúa el peso

p ¬r , (¬q r) p , r

¬p ¬q

DERIVACION:

 

1) p ¬r

x Hipotesis

2)

r

x Hipotesis

3)

¬p

x 1), 2) y Modus Tollens

4) q r) p

x Hipotesis

5) (¬q r) 0

x 3) y 4) Como ¬p es Verdadero, p es Falso

6) ¬q r

x 5) e Identidad

7) ¬q

x 6) y Simplificación

8)

¬p ¬q

x 3), 7) y Ley de Combinación

b)

Cuatro estudiantes, Ana, Juan, Luis y María, están planificando un viaje en

automóvil, pero antes de salir, se plantean las siguientes condiciones:

Si María va, Ana debe ir. Luis o Juan, pero no ambos, deben ir Viajan Ana y Luis, ambos, o no va ninguno de los dos. Sabemos que María va de seguro al viaje. Deduzca quienes serán sus compañeros

de viaje.

M: María viaja A: Ana viaja

L: Luis viaja J: Juan Viaja

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

M A ,

L J , A L , M ?

DERIVACION

1)

M A

x Hipótesis

2)

M

x Hipótesis

3)

A

x 1), 2) y Modus Ponens

4)

A L

x Hipótesis

5) A L L A x 4) y Equivalencia

6) A L

x 5) y Ley de Simplificación

7)

L

x 3), 6) y Modus Ponens

8)

L J

x Hipótesis

9)

¬J

x 7), 8) y Definición de

Respuesta: Ana y Luis acompañan a María en el viaje

8)

Determinar la validez del siguiente razonamiento

Si

f es continua, entonces que f es diferenciable. Que f sea diferenciable implica que

f es integrable. f no es integrable. Por tanto, f es continua pero no diferenciable.

p: f es continua

p q , q r , ¬r

DERIVACION 1) q r

2)

¬r

3)

¬q

4)

p q

5)

¬p

p ¬q

q: f es diferenciable

r: f es integrable

Como vemos ¬p es Verdadero, entonces p es Falso y p ¬q es Falso

9)

Se tienen las siguientes premisas:

Si

Fernando tiene suerte y llueve entonces no estudia.

Fernando aprobará si y sólo si estudia o tiene suerte.

Si Fernando no tiene suerte entonces no llueve.

Sabiendo que llueve, utilizar la lógica proposicional para responder a las siguientes preguntas:

i) ¿Fernando estudia?

ii) ¿Aprobará Fernando?

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

p: Fernando tiene suerte q: Llueve

r: Fernando estudia s: Fernando aprobará

PREMISAS: (p q¬r , s (r p, ¬p ¬q , q

1) ¬p ¬q

x Premisa

2)

q

x Premisa

3)

p

x 1), 2) y Modus Tollens

4)

p q

x 2), 3) y Ley de Combinación

5) (p q¬r

x Premisa

6)

¬r

x 5), 4) y Modus Ponens

7) s (r p8) s (r p (r p s

x Premisa x 7) y Equivalencia

9) (r p s

x 8) y Ley de Simplificación

10) r p 11) s

x 3) y Ley de Adición x 9), 10) y Modus Ponens

Respuesta: Podemos concluir que Fernando no estudia (paso 6) sin embargo aprueba (paso 11).

10) En I = [0, 1] conjunto de los números reales 0 x ≤ 1 y para todo a, b I definimos a b = max{a, b}, a b = min{a, b} y a’ = 1 - a.

i) Plantea las leyes que deben cumplirse para que I respecto de estas operaciones sea un Álgebra de Bool.

ii) Obtener, si es posible, el neutro de cada operación.

i) B = (I, max, min, ’, neutroMax, neutroMin)

a) Conmutativa max(a, b) = max(b, a)

b) Asociativa

max(a,max(b,c)) = max(max(a, b), c)

c) Distributiva

max(a,min(b,c))= min(max(a,b),max(a,c))

d) Complementación

max(a, a’) = neutroMin

e) Identidad

max(a, neutroMax) = a

ii)

max(a, a’) = neutroMin max(a, 1 - a) = neutroMin

min(a, b) = min(b, a)

min(a,min(b,c)) = min(min(a, b), c)

min(a,max(b,c))=max(min(a,b),min(a,c))

min(a, a’) = neutroMax

min(a, neutroMin) = a

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

Tomo elementos del conjunto I para encontrar el valor del neutroMin

a max(½, 1 - ½ ) = ½

a max(¼, 1 - ¼ ) = ¾

a max(1, 1 - 1 ) = 1

= ½

= ¼

= 1

Como podemos observar, el neutroMin no es único ya que va cambiando en función del valor asignado a la variable a.

Esto nos demuestra que el conjunto I respecto de las operaciones max y min no es un Álgebra de Bool.

11) Dar la expresión booleana que corresponda al circuito de la figura y obtener un circuito más sencillo que realice la misma función

a)

x

y

z

w

x + y ¬(x + y) ¬(x + y).z z w [¬(x + y). z]
x + y
¬(x + y)
¬(x + y).z
z
w
[¬(x + y). z] . w

F

F

= { ¬(x + y). z } + { [¬(x + y). z] . w }

F

= [¬(x + y). z] .

(1 + w)

Distributiva

F

= [¬(x + y). z] . (1)

Acotación

F

= [¬(x + y). z]

Identidad

F

= (¬x . ¬y) . z

De Morgan

x y z F
x
y
z
F
b) x ¬x (¬x.y)+(¬x.z) y ¬x . y y ¬x [(¬x.y)+(¬x.z)].(¬x + z) z ¬x
b) x
¬x
(¬x.y)+(¬x.z)
y ¬x . y
y
¬x
[(¬x.y)+(¬x.z)].(¬x + z)
z ¬x . z
z
¬x
¬x + z
z
F
¬z+(¬z.x)
¬z
¬[¬z+(¬z.x)]
¬z . x ¬z
x
F
= {[(¬x.y) + (¬x.z)] . (¬x + z)} + {¬[¬z + (¬z.x)] }

F

F

F

F

F

F

=

=

=

=

=

=

{x . ( y + z)] . (¬x + z)} + {¬[ ¬z ] }

{ ¬x . [( y + z) . (¬x + z)] } + z

{ ¬x . [( y. ¬x) + z)] } + z

{ ¬x.y.¬x + ¬x.z } + z

¬x.y + ¬x.z

¬x.y + z

+ z

Distribuitiva y Absorción

Asociativa e Involución

Distributiva

Distributiva

Idempotencia

Absorción

x

y

z

+ z + z Distribuitiva y Absorción Asociativa e Involución Distributiva Distributiva Idempotencia Absorción x y

F

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

c)

A

B

C

¬A B ¬A + B (¬A + B) . ¬C ¬C A B A .
¬A B
¬A + B
(¬A + B) . ¬C
¬C
A
B A . B
A .B .¬C

Y

Y

= [A + B) C ] + [A .B .¬C]

Y

= [A + B) + A.B.] . ¬C

Distributiva

Y

= [¬A + (B + A.B) ].¬C

Asociativa

Y

= [¬A + B ].¬C

Absorción

A B Y C
A
B
Y
C

12) Teniendo en cuenta las siguientes tablas:

a) Encuentre los minitérminos que representan las funciones booleanas.

b) Realice las simplificaciones de las funciones utilizando mapas de Karnaugh.

c) Grafique los circuitos resultantes.

A. a)

A

B

C

F

 

1

1

1

1

ABC

1

1

0

0

1

0

1

0

1

0

0

1

AB’C’

0

1

1

1

A’BC

0

1

0

0

0

0

1

0

0

0

0

1

A’B’C’

F = ABC + AB’C’ + A’BC + A’B’C’

b)

BC A
BC
A

0 0

0 1

11

10

0

 

0

 

0

1

1 1
1
1

0

1 1
1
1

0

 

I

II

c)

Término I = B’C’ Término II = BC

F = B’C’ + BC B C
F = B’C’ + BC
B
C

F

Adicional

ELEMENTOS DE COMPUTACIÓN Y LÓGICA PROGRAMADOR UNIVERSITARIO – U.N.T

B. a)

A

B

C

D

F

1

1

1

1

1

1

1

1

0

1

1

1

0

1

0

1

1

0

0

0

1

0

1

1

1

1

0

1

0

1

1

0

0

1

0

1

0

0

0

1

0

1

1

1

1

0

1

1

0

1

0

1

0

1

1

0

1

0

0

0

0

0

1

1

1

0

0

1

0

1

0

0

0

1

1

0

0

0

0

0

ABCD

ABCD’

AB’CD

AB’CD’

AB’C’D’

A’BCD

A’BCD’

A’BC’D

A’B’CD

A’B’CD’

A’B’C’D

F = ABCD + ABCD’ + AB’CD + AB’CD’ + AB’C’D’ + A’BCD + A’BCD’ + A’BC’D + A’B’CD + A’B’CD’ + A’B’C’D

b)

c)

II CD 0 0 0 1 11 10 AB 0 0 0 1 1 1
II
CD
0 0
0 1
11
10
AB
0
0
0
1
1
1
0
1
0
1
1
1
1
1
0
0
1
1
1
0
1
0
1
1
III

Término I = C Término II = A’D Término III = AB’D’

I

F = C + A’D + AB’D’ A D B C
F = C +
A’D + AB’D’
A
D
B
C

F