lgebra y Geometra Analtica

lgebra de Boole:
Elementos lgebra de Boole:
=
+ =
lgebra de Boole si cumple con los siguientes axiomas:

Conmutatividad:
a + b = b + a = a b = b a
a b = b a = a b = b a

Distributividad:
a + (b
c) = (a

a
= (a

c) = (a + b)

b)

(a + c) = a

(a c)
(b + c) = a b + a

b)

(b

(a

c = a

(b

c)

c)

Identidad:
a + 0 = a = a

0 = a

(Falso)
a 1 = a = a

(Verdadero)
Complemento:
a + a = 1 = a

; siempre 0 = F

1 = a

(Verdadero)
a = 0 = a
a

; siempre 1 = V

= 1
a

; siempre 1 = V

= 0 ; siempre 0 =

F (Falso)
Teorema 1 lgebra de Boole:

Idempotencia:
a + a = a = (a a) a
a a = a = (a a) a

Acotamiento:
a + 1 = a = (a 1) a
a 0 = 0 = (a 0) 0

Absorcin:
a + (a b) = a = [a (a b)] a
a (b + a) = a = [a (b a)] a

Asociatividad:
b)

(a + b) + c = a + (b + c) = [(a
(b

[a

c = a + (b

(b

[a

c)]

(a + b)

c]

b)

c) = [(a

c]

c)]

Teorema 3 (Leyes de Morgan) lgebra de Boole:

a+b

a+b = a b

a b

1. Observacin:
Los axiomas del lgebra de Boole sirven para ejercicios como:
Ejemplo: Demuestre la equivalencia.
ab + ac + a = a (b + c + 1)
= (a b) + (a c) + (a
= ab + ac + a

1 = a)

Los teoremas del lgebra de Boole sirven para ejercicios como:

Ejemplo: Determinar los valores de verdad de p, q y r. (Sin
tabla de verdad)
[(p

q)

p]

[(p

q)

q)

p]

[Falso (F)] = F

p = p]

[(r

V] = F
[p = V]

[(r

[Verdadero (V)]
Teorema 1 - Absorcin

[(r = F

q = F)

V] = F
V

[F

Por lo tanto: p = V
q = F

V] = F

q)

r = F

Teora de Conjuntos:

Elementos de los conjuntos:

+ =
=
= = =
Variables = Conjuntos

= XC
1 = U
0 =

Teora:
o a + a = a = A A = A
o a a = a = A A = A
U = U
o a + 1 = 1 = A
U = A
o a 1 = a = A

Leyes de Morgan (Conjuntos):

o

(A

(A

B)C = AC BC
B)C = AC BC

Leyes Operacionales:
o

(AC)C = A

C
C

o (A B) = (A

B) = Elementos de A que no estn en

B.
o (A B) = A BC
o (B A) = B AC
Propiedades de los Conjuntos:

Son Disjuntos (No existen elementos en comn)

o Idempotencia:
A A = A
A A = A
o Complemento:
A AC = U
A AC =
o Distribuitividad:
A (B
A (B

C) = (A

B)

(A

C)

C) = (A

B)

(A

C)

Ejemplo:
1)

a) (A

= {1,..., 12}
A = {1, 3, 4, 7, 9, 11}
B = {1, 2, 5, 7, 9, 11, 12}

B) = {1,2, 3, 4, 5, 7, 9, 11, 12}

b) (A B)C = {6, 8, 10}

c) Ac = {2, 5, 6, 8, 10, 12}
d) Bc = {3, 4, 6, 8, 10}

2) A

[(Ac

B)c

(B

A)c] = A

Bc

[(A Bc) (Bc Ac)] = A

A [(Bc Ac) (Bc Ac)] =
A [(B A)c (B A)c] =
A [Bc Bc] =
A Bc = A Bc

Circuitos Lgicos:
Compuerta OR:

Bc

 Compuerta AND:

Compuerta NOT:

Compuerta NOR:

 Compuerta NAND:

Ejemplo:

Relaciones de equivalencia:

1) Reflexiva: a

2) Simtrica: a, b

A, a

A, si a

3) Transitiva: a, b, c

b, b

A, si a

c entonces a

Ejemplo: Q =

1
2 R

2
4 R

3
6 R

4
8 R, probar que R es la

relacin de equivalencia.
a) Reflexiva: Sea
b) Simetra: Sea
= bc

a
b
a
b

Q, ab = ba
c

; d

da = cb

Q , suponer que

a c e

c) Transitividad: Sea ( b , d , f

c
d

a c
R
b d

a
b
Q , supongamos que

ad

a c
R
b d

ad = cb cf = de

c e
R
d f