Propiedades del Algebra bolean

David Terán. 7/Oct/2020

Tablas de verdad fundamentales

A B AND A B OR A B XOR A NOT

00 0 00 0 00 0 0 1
01 0 01 1 01 1 1 0
10 0 10 1 10 1
11 1 11 1 11 0
Propiedad Conmutativa
A B

• A+B = B+A

• AB = BA

A B
 A B
Propiedad Asociativa

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

• ABC = (AB)C = A(BC) = (AC)B

A B C

C
Propiedad Distributiva

• A(B+C) =AB+AC

• 3(5 + 7) = 3 * 5 + 3 * 7

2
• x(x + y) = x + xy

• A+(BC)=(A+B)(A+C)

• 3+(5*2) = 3+10 = 13

• 3+(5*2) =(3+5)(3+2)=(8)(5)=40
Propiedad Distributiva
A B C B+C A(B+C) A B C AB AC AB+AC
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 1 0
• A(B+C) =AB+AC
0 1 0
0 1 1
1
1
0
0
0 1 0
0 1 1
0
0
1 0 0 0 1 0 0 0
1 0 1 1 1 1 0 1 1 1
1 1 0 1 1 1 1 0 1 1
1 1 1 1 1 1 1 1 1 1 1

• A+(BC)=(A+B)(A+C) A B C BC A+(BC)
0 0 0 0
AB C A+B A+C (A+B)(A+C)
00 0 0
0 0 1 0 00 1 1 0
0 1 0 0 01 0 1 0
0 1 1 1 1 01 1 1 1 1
1 0 0 1 10 0 1 1 1
1 0 1 1 10 1 1 1 1
1 1 0 1 11 0 1 1 1
1 1 1 1 1 11 1 1 1 1
Propiedades de And, Or y Xor

• A⋅1 = A

• A⋅0 = 0

• A+1 = 1

• A+0 = A

• A⊕1 = A

• A⊕0 = A
Propiedades de And, Or y Xor

• A⋅A = A

• A⋅A= 0

• A+A = 1

• A⊕A = 1

• AB + AB = A ⊕ B = AB + AB
Propiedad Simplificativa

• A+AB=A

2
• Ejemplo: X + X = X(1 + X)

• A(1)+AB=

• A(1+B)=

• A(1)=A

• ∴ A + AB = A
Propiedad Simplificativa

• A(A+B)=A

• AA+AB=A+AB (como esto se probó en la diapositiva anterior)

• ∴ A(A + B) = A
Ley de Morgan

• (A + B) = AB

• AB = A + B

• Nota: A = A = A

• Ejemplo Morgan: AB = AB = A + B = AB
Ley de Morgan

• (A + B) = AB
A B A+B A+B A B A B AB
0 0 1 0 0 1 1 1
0 1 1 0 0 1 1 0 0
1 0 1 0 1 0 0 1 0
1 1 1 0 1 1 0 0 0
Ley de Morgan

• AB = A + B

A B AB AB A B A B A+B
0 0 1 0 0 1 1 1
0 1 1 0 1 1 0 1
1 0 1 1 0 0 1 1
1 1 1 0 1 1 0 0 0
Ejercicios
Producir las tablas de verdad a partir de una versión reducida de las
ecuaciones originales.
• Ecuaciones:

• A(A+B)+(AB)B

• (A+AB)(B)

• (A+B+C)(A+B)

• (A + B)C + (A + B)C

• AB + C