LGEBRA DE BOOLE

OPERACIONES LGICAS BSICAS

Funciones
Suma (OR):
S=a+b

Multiplicacin (AND):
S=ab

Negacin (NOT):
S=

Tabla de verdad
a b S = a+b
00
01
10
11

0
1
1
1

a b

S = ab

00
01
10
11

0
0
0
1

a S=

0
1

1
0

Smbolos

COMPUERTAS LGICAS

Con interruptores

Suma (OR): S = a + b

7432
Multiplicacin (AND): S = a b

7408

Negacin (NOT): S =

7404

OTRAS FUNCIONES LGICAS

Funciones

Tabla de verdad
a b

S ab

00
01
10
11

1
0
0
0

a b

S a b

S a b

00
01
10
11

1
1
1
0

OR exclusiva
(XOR):

a b

S a b

Suma negada
(NOR):
S ab

Multiplicacin negada
(NAND):

S a b
S ab ab

00
01
10
11

0
1
1
0

Smbolos

Suma negada (NOR):

7402

S ab

Multiplicacin negada (NAND):

S a b

7400

OR exclusiva (XOR):

S a b

7486

PROPIEDADES DEL LGEBRA DE BOOLE

1 ) Conmutativa

a+b = b+a

ab = ba

5 ) Elemento absorbente

a+1 = 1

a0 = 0

2 ) Asociativa

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

abc = a(bc)

6 ) Ley del complementario

a+ = 1
8 ) Simplificativa

a = 0

a+ab = a

a(a+b) = a

3 ) Distributiva

a(b+c) = ab + a.c

(a+b)(c+d) = a.c+b.c+a.d+b.d
4 ) Elemento neutro

a+0 = a

a1 = a

7 ) Idempotente

a+a = a

aa = a

9 ) Teoremas de Demorgan

a b a b

ab a b

FUNCIONES LGICAS
Tabla de verdad

Ejemplo
S a b a c (a b) c
Se puede obtener de dos formas, como
suma de productos (Mintrminos) o como
producto de sumas (Maxtrminos).
Por Mintrminos (Suma de productos)

S a bc a bc a bc a bc a bc a bc
Por Maxtrminos (Producto de sumas)

S ( a b c) ( a b c)

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c S
0 0
1 1
0 1
1 1
0 1
1 0
0 1
1 1

SIMPLIFICACIN POR PROPIEDADES

Funcin lgica

S abc abc abc abc

Propiedad Distributiva, agrupamos trminos en parejas con el mayor

nmero posible de variables iguales.
Ley del complementario

S a b (c c) a c (b b)

Elemento neutro

S a b 1 a c 1

S ab ac