Está en la página 1de 92

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Funcin Booleana

Encuentra los errores


Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

2.5 lgebra booleana y teoremas de DeMorgan 2.6 Leyes y postulados

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y Teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente Operacin

a) 1*1= 1

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente Operacin

b) 0*0 = 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente Operacin

c) 1*0*0 = 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente Operacin

c) 1*A*0 = 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente Operacin

c) 1*A*1 = A

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente operacin

a) 1+1=1
En Algebra Boolena

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente operacin

a) 1+0 = 1

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Evaluar las siguiente operacin

a)0+0+0 = 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Leyes y teoremas del lgebra Booleana

A
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

And y Nand

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

And y Nand

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

And y Nand

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

And y Nand

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Or y Nor

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Or y Nor

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Or y Nor

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Or y Nor

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Identidad

AND

NAND

OR

NOR

A 0 A 1 A A A A

0 ? ? A A ? ? 0

1 ? ? A A ? ? 1

A ? ? 1 A ? ? 1

A ? ? 0 A ? ? 0
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Resuelva las siguientes proposiciones

1.2.-

A0=
A1=

5.6.-

A0=
A1=

3.4.-

AA=
AA=

7.8.-

AA=
AA=
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Propiedades

Conmutativa
Asociativa Distributiva
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Conmutativa

AND

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Conmutativa

Or

A+B = B+A

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Conmutativa

Exor

AB = BA

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Conmutativa

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

And

A(B C) = (A B) C = A B C

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

(A B) C = A B C

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

And Or

A(B C) = (A B) C = A B C

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

Exor

A(BC) = (AB)C = ABC


Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

Or

A+B+C+D

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

Or

A+B+C+D

Or

(A+B)+C+D = (A+B)+(C+D)
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

Nand

[A(B C)] [(A B) C] (A B C)

Nor [A+(B+C)] [(A+B)+C] (A+B+C)

Enxor [A(BC)] [(A B)C] (ABC)


Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Asociativa

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Distributiva

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Distributiva

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Distributiva

AA + AC + AB + BC A + AC + AB + BC A + AC + AB + BC A (1+C+B)+ BC A*1+ BC

A+ BC = A+ BC
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Distributiva

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Identidades
AND OR NAND NOR

A A=A A 0 =0 A 1 =A A A =0

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

A A=A A 0 =1

A+A=A A+0 =A

A 1 =A A A =1

A+1 =0 A+A =0
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Propiedades
a).- Propiedad Conmutativa AND OR

AB=BA

NAND

AB=BA
A+B=B+A AB=BA

A+B=B+A NOR

EXOR AB=BA EXNOR


b).- Propiedad Asociativa

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

c).- Propiedad Distributiva

X(Y+Z) = XY+XZ X+YZ = (X+Y) (X+Z)


Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Propiedad Distributiva

And A(B C) = (A C) B = (A B) C = A B C
Or A+(B+C) = (A+C)+B = (A+B)+C = A+B+C Exor A(BC)=(AC)B =(AB)C =ABC

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Propiedad Distributiva

X (Y+Z) = XY+XZ X+YZ = (X+Y) (X+Z)

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

No hay viento favorable para el que no sabe donde va


Lucio Anneo Sneca
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan Augustus de Morgan ? -1871


Profesor de matemticas en el Colegio Universitario de Londres entre 1828 y 1866 Primer presidente de la Sociedad de Matemticas de Londres. De Morgan se interes especialmente por el lgebra. Fue tutor de Ada

Lovelace.

Quien fue la primera programadora, desde

que escribi la manipulacin de los smbolos, de acuerdo a las normas para una mquina de Charles Babbage que an no haba sido construida.

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Augustus de Morgan ? -1871


Escribi varias obras de lgica en las que se encuentra la idea de aplicar en esta esfera los mtodos matemticos, as como los primeros resultados de tal aplicacin. En la moderna lgica matemtica, llevan el nombre de De Morgan las siguientes leyes fundamentales del lgebra de la lgica: la negacin de la conjuncin es equivalente a la disyuncin de las negaciones; la negacin de la disyuncin es equivalente a la conjuncin de las negaciones.

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Por medio de este teorema se obtiene el

Equivalente
De una funcin Booleana

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

0
0

0
1
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

X Y Z W

X + Y + Z + W

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Actividad

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Obtenga el circuito equivalente aplicando el teorema de DMorgan y compare el resultado usando la tabla de verdad

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

F(A,B,C,D) = ( A + B) + (C + D) + (A +B +C)

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

F(A,B,C,D) = [ ( A + B) + (C + D) + (A +B +C) ] F(A,B,C,D) = [( A + B) (C + D) (A +B +C)]

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

F(A,B,C,D) = [( A + B) (C + D) (A +B +C)]

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

F(A,B,C,D) = [( A + B) (C + D) (A +B +C)]

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1

5
6 7 8

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1

5
6 7 8

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0 1

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0 1

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1 1

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1

5
6 7 8

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0 1 1

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1 1

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

5
6 7 8

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

7 8

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

7 8

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

7 8

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

1
1 1

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

7 8

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

1
1 1

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

1 0

7 8

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

1
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3 4

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

1
1 1

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

7 8

9
10 11

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

1
1

12

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

1
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica


m
0

A 0

B 0

C 0

D 0 1

1
2 3

0
0 0 0

0
0 0 1

0
1 1 0

1
0 1 0

1
1 1 0

1
1 1 0

5
6

0
0 0 1

1
1 1 0

0
1 1 0

1
0 1 0

0
1 0 1

0
1 0 1

7 8

9
10 11 12

1
1 1 1

0
0 0 1

0
1 1 0

1
0 1 0

1
1 0 0

1
1 0 0

13
14 15

1
1 1

1
1 1

0
1 1

1
0 1

0
1 0

0
1 0
Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

FE (R,A,V) = (R+A+V) (R+A+V) (R+A+V)


Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

F (A,B,C) = A + BC

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

F (x,y,z) = (X+Y) Z

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Teorema de DMorgan

F (A,B,C) = [(A+ B) C]

Electrnica Digital

Instituto Tecnolgico de Chetumal Departamento de Ingeniera Elctrica

Obtenga el circuito equivalente y la ecuacin aplicando el teorema de DMorgan y compare el resultado usando la tabla de verdad

F1 (A,B,C) = [(A+ B) C]

F2 (A,B,C) = [( A + B + C)( A + B + C)]

Electrnica Digital