Construir el diagram logico de la siguiente expresion booleana

(X. Y) + (X. Y)

{(X + Y). (X + Y) + Z}

Algebra Booleana
1. (a.b'. d) + (a.b.d) Ley 5 Distributiva

a.b'(1)
a.b'

Ley 8 Inversos
Ley 7 Identidad

a.b

2. (a'+b) . (a+b)
(a'+b) . (a+b)
a'.a+a' .b+b.a+b.b
0+a'.b+b.a+b.b
0+a'.b+b.a+b
(0+a'.b)+b.a+b
a'.b+b.a+b
b(a'+a+1)
b[(a'+a)+1]
b(1+1)
b

Ley
Ley
Ley
Ley
Ley
Ley
Ley
Ley
Ley

8
6
4
7
5
4
8
6
7

Ley 5 Distributiva
Inversos
Idempotencia
Asociativa
Identidad
Distributiva
Asociativa
Inversos
Idempotencia
Identidad

3. [(a'+c) . (b+d')] '

[(a'+c) '] + [(b+d') ']
Ley 2 de Morgan
(a''.c')+(b'+d'') Ley 2 de Morgan
(a.c')+(b'+d)
Ley 1 Doble Complemento

(a.c')+(b'+d)

Demostrar mediante la tabla de verdad que

a. f + g . h = (f+g) . ( f + h )

g.h

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
0
1
0
0
0
1

F+( g.
h)
0
0
0
1
1
1
1
1

(f +g)

(f + h)

0
0
1
1
1
1
1
1

0
1
0
1
1
1
1
1

(f +g ) . ( f +
h)
0
0
0
1
1
1
1
1

F.( g +

(f .g)

( f . h)

( f .g ) + ( f . h

Son equivalentes

b. f ( g + h ) = f . g + f . h
f

g+h

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

h)
0
0
0
0
0
1
1
1

0
1
1
1
0
1
1
1

0
0
0
0
0
0
1
1

)
0
0
0
1
1
1
1
1

0
0
0
0
0
1
0
1

Son equivalentes
Hallar la tabla de verdad de la siguiente funcin booleana x, y, z
f (x, y, z,) = x. y + x. z
x

x.y

x.z

x. y +
x. z

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
0
0
0
0
1
1

0
1
0
1
1
1
1
1

0
1
0
1
0
0
1
1

Etique
ta
binari
a
000=0
001=1
010=2
001=3
100=4
101=5
110=6
111=7

N0 de Fila

1
2
3
4
5
6
7
8

La columna f tiene 4 nmeros 1, los cuales nos indica las 4 condiciones

fundamentales necesarias en la forma normal disyuntiva (f. n. d) de la
funcin f de la siguiente forma:
f (x. y. z) = x. y. z + x. y. z +x.y. z +x.y. z
Min trminos
Es un arreglo de nmeros donde se colocan las posiciones binarias de los
elementos 1 de la tabla.
f: m = (1, 3, 5, 7)
Forma normal Conjuntiva (f. n. c.) 0
f (x, y, z) = (x+y+z). (x+y+z). (x+y+z). (x+y+z)


Max trminos
f: M (0, 2, 4, 5)

N0 de Fila

N0 de Fila

x.y.z

x.y.z

x.y.z

x.y.z

x.y.z

x.y.z

x.y.z

x.y.z

0
0
0
0
0

0
0
0
0
1

0
0
1
1
0

0
1
0
1
0

N0 de
Fila
1
2
3
4
5

0
0
0
1
1
1
1
1
1
1
1

1
1
1
0
0
0
0
1
1
1
1

0
1
1
0
0
1
1
0
0
1
1

1
0
1
0
1
0
1
0
1
0
1

6
7
8
9
10
11
12
13
14
15
16

w.x.y.z

w.x.y.z

w.x.y.z

w.x.y.z

10

w.x.y.z+

w.x.y.z

w.x.y.z

w.x.y.z

11

12

w.x.y.z

w.x.y.z

w.x.y.z

w.x.y.z

15

16

w.x.y.z

w.x.y.z

w.x.y.z

w.x.y.z

13

14

x
y

x
y

x
y

x
y

y
x

f (x, y) = (x. y) + (x. y)

y
y

z
z