Vous êtes sur la page 1sur 18

Teorema de DMorgan

No hay viento favorable para el que no sabe donde va


Lucio Anneo Sneca
19/08/2013

SLUQUEG

Teorema de DMorgan
g
Augustus de Morgan ? -1871
Profesor de matemticas en el Colegio Universitario de Londres entre 1828
y 1866
Primer
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.

19/08/2013

SLUQUEG

Augustus
g
de Morgan
g ? -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
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.

19/08/2013

SLUQUEG

Teorema de DMorgan
D Morgan
Una adivinanza
Augustus de Morgan (?-1871) fue un matemtico ingls nacido
en la
l India.
I di
Acostumbraba a recrearse en el planteamiento de adivinanzas y
problemas ingeniosos.
Este personaje nacido en el siglo XIX, planteaba esta adivinanza
sobre su edad:

"El
El ao x2 tena x aos
aos. En qu ao nac?
nac?".

Augustus de Morgan
? -1871

19/08/2013

SLUQUEG

Teorema de DMorgan
D Morgan
Augustus de Morgan (?-1871) fue un matemtico ingls nacido
en la India
India.

"El ao x2 tena x aos. En qu ao nac?".


422 = 1764

432 = 1849
1849 43 = 1806
Augustus
de Morgan
? -1871

19/08/2013

SLUQUEG

Teorema de DMorgan

P medio
Por
di de
d este
t teorema
t
se obtiene
bti
ell

Equivalente
D una ffuncin
De
i Booleana
B l

19/08/2013

SLUQUEG

Teorema de DMorgan

19/08/2013

SLUQUEG

Teorema de DMorgan

0
0
0
1
19/08/2013

SLUQUEG

Teorema de DMorgan

19/08/2013

SLUQUEG

Teorema de DMorgan

X Y Z W
19/08/2013

X + Y + Z + W
SLUQUEG

10

Teorema de DMorgan

19/08/2013

SLUQUEG

11

T
Teorema
de
d DMorgan
DM

19/08/2013

SLUQUEG

12

Teorema de DMorgan

19/08/2013

SLUQUEG

13

Actividad

19/08/2013

SLUQUEG

14

Obtenga el circuito equivalente aplicando el


teorema de DMorgan y compare el resultado
usando la tabla de verdad

19/08/2013

SLUQUEG

15

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

19/08/2013

SLUQUEG

16

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

19/08/2013

SLUQUEG

17

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

19/08/2013

SLUQUEG

18

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

19/08/2013

19/08/2013

SLUQUEG

19

10

11

12

13

14

15

SLUQUEG

20

19/08/2013

19/08/2013

10

11

12

13

14

15

SLUQUEG

21

10

11

12

13

14

15

SLUQUEG

22

19/08/2013

10

11

12

13

14

15

SLUQUEG

19/08/2013

23

10

11

12

13

14

15

SLUQUEG

24

1
0

19/08/2013

10

11

12

13

14

15

SLUQUEG

1
0

19/08/2013

25

10

11

12

13

14

15

SLUQUEG

26

1
0

19/08/2013

10

11

12

13

14

15

SLUQUEG

1
0
0

19/08/2013

27

10

11

12

13

14

15

SLUQUEG

28

1
0

19/08/2013

10

11

12

13

14

15

SLUQUEG

1
0

19/08/2013

29

10

11

12

13

14

15

SLUQUEG

30

Teorema de DMorgan
D Morgan

19/08/2013

SLUQUEG

31

Teorema de DMorgan
g

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

19/08/2013

SLUQUEG

32

Teorema de DMorgan
g

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

19/08/2013

SLUQUEG

33

Teorema de DMorgan
g

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

19/08/2013

SLUQUEG

34

Obtenga ell circuito


Obt
i
it equivalente
i l t y la
l ecuacin
i
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
C)(
) ( A + B + C)
C)]
]
(A B C) = [( A

19/08/2013

SLUQUEG

35

19/08/2013

SLUQUEG

36