LGEBRA BOOLEANA

Informtica Empresarial
Principios de Programacin
CTP Cartagena

lgebra de Boole
Desarrollada inicialmente para representar las formas de
razonamiento lgico.
Variable booleana: Solo puede tomar dos valores (V/F, 0 1)
Operaciones booleanas:
Negacin: Complemento
Suma booleana:

0+0=0
0+1=1
1+0=1
1+1=1

Producto booleano: 0 0 = 0
01=0
10=0
11=1
Funcin booleana: variables booleanas operadas entre si mediante
operaciones booleanas

Tablas de verdad
Muestran el resultado de una operacin lgica para cada una de las
combinaciones de entradas posibles
Complemento
A

Suma

Producto

A
0

B
0

A+B
0

A
0

B
0

AB
0

1
1

Teoremas del lgebra de Boole (I)

Teorema 1: Ley interna
El resultado de aplicar cualquiera de las tres operaciones del
lgebra de Boole a variables booleanas es otra nueva variable
booleana y el resultado es nico.

Teorema 2: Ley de idempotencia

A+A=A
AA=A

Teorema 3: Ley de involucin

AA

Teorema 4: Ley conmutativa

Respecto de la suma: A+B=B+A
Respecto del producto: AB= BA

Teoremas del lgebra de Boole (II)

Teorema 5: Ley asociativa
Respecto de la suma: A+(B+C)=(A+B)+C=A+B+C
Respecto del producto: A(BC)=(AB)C=ABC

Teorema 6: Ley distributiva

Respecto de la suma: A+BC= (A+B)(A+C)
Respecto del producto: A(B+C)=AB+AC

Teorema 7: Ley de absorcin

A+AB=A
A(A+B)=A

Teoremas del lgebra de Boole (III)

Teorema 8: Leyes de Morgan
A B AB
AB A B
Leyes de Morgan aplicadas a n variables:
A B C ... A B C ....
A B C ... A B C ...

Teorema 9: Ley de Morgan generalizada (aplicada a funciones)

f(A, B, C,..., ,) f(A, B, C,...,,)

Teorema 10:
f(A, B, C,...) A f(1, B, C,...) A f(0, B, C,...)

Funciones lgicas elementales (I)

Puertas lgicas: definen funciones booleanas bsicas
A
A

A+B

B
A
B

AB

Funcin NOT (COMPLEMENTO, NO)

Funcin OR (SUMA, O)
Funcin AND (PRODUCTO, Y)

El nmero de variables de entrada no est limitado a dos:

Funciones lgicas elementales (II)

OTRAS FUNCIONES LGICAS:
Funcin NOR
(no O)

A
0

B
0

S
1

Funcin NAND A
(no Y)
0

B
0

S
1

Funcin XOR (O exclusiva)

Funcin XNOR (equivalencia)

A
0

B
0

S
0

A
0

B
0

S
1

Funciones lgicas con puertas NAND

Complemento

Suma

Producto

A B (A B) (A B)

A B (A B)

Funciones lgicas con puertas NOR

Complemento

Suma

Producto

A B (A B)

A B (A B) (A B)