Sunteți pe pagina 1din 119

!

() &*$#

(, &*$#

(- &*$#

( . &*$#

(, &*$#

&*$#

"

#$

% & '

"#$

%& &'$ $&(

"

"
"

#
#
#

$
%

!"

#
$
)
&

"
&'(

%
*

&$ !

)
)
,
,

+
"
&
'/
& "

.
#

' (
! *

)#
)$

0
- 0
"
- 0
"
2
0 !
- 0
"
- 0
"

"

1
1
1
)
)
)

!
!
!3
!3

+,

-.

4
'

*
5

'

'

4 "

4 "

'

5**
5

5
" 4
'
-

5
*
" 7
"

*
"

;<
<

'

4 "

5 *

5 7
5
55
5 '

:
:
- "

6
0

5:
$ !

"

6
.
8

= *->*>

@*->*>

!
!
!

"

&
-

'
5

.
.
.
..
.
.
.
.
.#
.#
.8
.9
.9
.)
.)
,

>
=

)*
?

1
)

<

)
&
.
)
.
-

>-&

!/
0
1
*>

& 2 - :?&

*>

& *-&

>

+
>'

>

> < 2&- > &

<- >

<

3
;>-' ? A

& & *-& > &

*
%
!1
3

4
4
4
4

< !
B

8
8

!"
+

? ?
0
3
?

"/

"

"6

$
0

C$ /

"

"
"

!3

!
?
0

6
"

!
C

4 "

"/
!

?
"

6
"

"
$

$
F "
+
"
C$
F
?

"
"

"

%
C

"
!

6
6
CE

$
"
C
G
4

"
C

C C

"
"
+

6 !
$

C
E

&

4 "

"

&

!
*

"
"6 0
!
6

"
$
% C 1C C C C

"

"

"
$ /

"

"

!
& "

%
C

"
4

"

H *3 .,
H *3 .,

"

6!
%/ ! !

C
C

$
!

!
4 &

!
C

$
"

$
C
?
E
!

! 0C !

"

4 "
"/
0

"

"
0

&

C !

"

&

"
"
! "

0
B

C $
"

0
F
F

"
! "

C
?

!
!

"

"

! 6

/"

"

4 "
"

0 1

"

* I J.K J

$% J. I

L J
"

J.K

!
! "

C $

4 "

"

.I L J

&

34 "
"
$

$
4 " " C E

E 6

!
C

! 6
!

&

*
*

$
4 "

"
!

&

C
!3

+"6

"
!

"

H *3 ., .
H *M 8

"
% C$
"6

C
C

J ?
C

4 " C
C

" J
"3
"

B
J J &

J J

3 4

&
6
&

"6
0 "
$
C

"

"6 0 %
" % J#

$
$
$
$

"

"

"3

"

! C

&
"

JC

'
&

"

"

"
J'J

"

! 0%

"

&

"

:
!

"
E
$ C
"
4 "

4 "

E E

$
% #

'

7
"

H *3 ..C .

/ ! .
&

"

"3

" C

'

!
!

B
!

J J

0 6

!
$
C
"6 0 C

0
4

6!

"6 C
4 "
"

% J# $

J J

E !

"

C$

"6 N

&

! %

"
!

"

6 J/JC $

$D J J

$
" %J

*
J J$
!

J J

1C

"6

C 6
"

/ 0
! 0 *

6 3E

"6 / " G
4
$

JC

"

"6 C

J J

"
$
$ E
J 5 J
! &
+ C
"6

&
"
"

J J B

"
"3
$

"6
C J / $J
" %J
" 0
E
J
"
2 "
$
!

$J

0/ 1

"6
JC

"6
"6 /
"6

.
$

&

4 "

"6

!
"

"

4 " C
D
$ /

"

Q?
$/ ?

C
"
4 "
C P$ / 4 "
"
?
/

$
&
$

"

J"3 4
J
4

"menos fuerte"6

C
C
"
$

J
0 J

!
!

2 !

.+

8 !

"
!

2 !

%$

3
3
3
3

"
6
6
6
6

%
3
"3

1
)
,

4 "
34

H *3 .8
H *3 9
1
E %55SSS "
)
E %55
6
,
E %55SSS
<- >?>U @,9
E %55SSS
9

"5' 5
R
"5" E
!
5 5 19. , @
6
5SSS5
"
5E "
4
5
5 5 " @, @
4

)95

5?

&#
"6

6
:

! 0C
! 0C
/"

! 0C

! 0C

$
"

& "
"6 /
' +

' +

! 0C '

6 C

! 0C

E C

"6 C
,

'

! 0C V

"

C
$

"
$

3 4
3

8
9

B3"
!

36
" !

& "

C
6
"

,*
#

"6

" C

$
!

"6
36
(6
9

4 "
C

"3
"

$
$

.,

$
W

4
%

..

1 W

! 0C

!
36

&

$
$

#
$
.

W
,

W$
W

W$

W$

. W$

# W

8 W

$
$

17

18

19

20

21

ambigua

22

22

?
;

"3

6
4 "
4 "

$
!
4 "
&

4
"
C

$
F

2
;

"

"

%
C2
,C ;
4 "

$
?
4 "

2
B

!
4 "
!

E
B

"

4
$

'

!
Proposiciones Negacin

p
V
V
F
F

q
V
F
V
F

Disyuncin Disyuncin
Conjuncin Condicional Bicondicional
inclusiva
exclusiva

~p
F

q
V
V
V
F

pvq
F
V
V
F

pq
V
F
F
F

V
F
V
V

q
V
F
F
V

6 /
"
$

#
%

&

, 0 4
'

1
)

*+

Frmula
lgica

F
F

V
F

V
V

!
'

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

Frmula
lgica
F
F
F
F

!
'
-

-+

.
)

*)

Frmula
lgica
V
F
V
F

2
6

$
$

$
,
,. W $
, $
,
,#
W
,8 W W
,9
,1
,)
,
.

#
8
2

$
$

$ !
9 W

) W

.,
.
2

W Y

XW

$
W

W$
$

$
W

$
W

4$
..
.
.
.#
.8
.9
.1
.)

+ C
9
$ $
W
W$ W$
XW
W$
Y $
$
W$
* $
X
$
Y $
*
$

01
(p

q)

02
(p

~q)

03

V
F

F
F

F
V

V
V

V
F

V
V

V
F

F
V

V
F

V
V

V
F

F
V

V
F

V
F

V
F

F
V

04
(p

q)

05
p

q)

06
p

V
F

F
F

F
V

F
F

F
V

V
F

F
F

V
F

F
V

V
F

V
V

V
F

F
V

V
F

F
V

V
F

V
V

F
V

V
F

F
V

07
(p

~q)

(q

08
(p

p)

(p

V
V

F
V

F
V

V
V

V
F

V
V

V
V

V
V

V
F

V
F

V
V

V
V

F
V

F
V

V
F

F
F

F
F

F
V

V
V

V
F

F
V

F
F

F
F

F
F

V
F

F
F

F
F

F
F

F
V

V
F

10
(q

09
q)

(p

q)

r)

q)

11
q

V
V

V
F

V
F

F
F

F
V

V
V

V
V

V
F

V
F

V
F

F
V

V
V

V
F

V
F

F
V

F
V

V
F

F
F

F
V

F
F

F
V

V
F

V
F

F
V

F
F

V
F

F
V

V
F

F
F

F
V

V
V

F
V

F
F

F
F

V
F

F
F

F
V

F
F

V
F

V
F

V
F

V
F

F
V

F
F

F
F

V
F

V
V

F
V

12
p

13
r)

p)

V
V

V
F

V
F

V
V

V
F

F
V

F
F

V
V

F
V

F
V

V
F

F
V

F
V

V
F

V
F

F
V

V
F

V
V

V
F

F
F

F
V

V
V

V
F

F
V

F
V

V
F

F
V

V
F

F
V

F
F

F
V

V
V

V
F

F
V

V
V

V
F

F
F

F
F

V
F

V
V

V
F

F
V

V
V

F
F

V
V

F
V

V
F

F
V

F
V

F
V

V
F

F
V

F
V

F
F

14
[(~

F
F
V
V

V
V
F
F

q)
V
F
V
V

(p

V
F
V
F

V
V
V
V

V
V
F
F

q)]
F
V
F
F

F
V
F
V

F
V
V
V

[(~

F
F
V
V

V
V
F
F

q)]
F
V
V
V

F
V
F
V

15
(p
V
V
V
V
F
F
F
F

q)
V
V
V
V
V
V
F
F

V
V
F
F
V
V
F
F

(p
V
F
V
F
V
V
F
F

V
V
V
V
F
F
F
F

V
F
V
F
V
V
V
V

r)

[p

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

F
V
V
V

F
F
V
V

16
r)]

(q
F
V
V
V
F
F
F
F

p]

F
V
V
V
F
V
V
V

F
V
F
V
F
V
F
V

V
F
V
F
V
F
V
F

V
F
V
F
V
V
V
V

V
V
F
F

(~

F
F
F
F
V
V
V
V

V
V
V
V
F
F
F
F

r)
V
F
V
F
V
V
V
V

Verificar si las siguientes proposiciones son equivalentes:


17
(p
F
V
F
F

V
V
F
F

q)
V
F
V
V

V
F
V
F

18
p
V
V
F
F

F
V
F
F

F
V
F
V

V
F
V
F

V
V
F
F

q
V
F
V
V

V
F
V
F

p
F
F
V
V

V
V
F
F

q
V
F
V
V

V
F
V
F

19
p
F
F
F
F
V
V
V
V

V
V
V
V
F
F
F
F

q)
V
V
V
V
F
F
V
V

F
F
V
V
F
F
V
V

V
V
F
F
V
V
F
F

(q
V
V
V
V
V
F
V
V

V
V
F
F
V
V
F
F

V
F
V
V
V
F
V
V

r)

(p

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

r)
F
V
F
V
F
F
F
F

F
V
F
V
F
V
F
V

20
p
V
V
F
F

q
V
F
V
V

V
F
V
F

V
F
V
F
V
F
V
F

q
V
V
F
V
V
V
F
V

V
V
F
F
V
V
F
F

21

p
F
F
V
V

V
V
F
F

q
V
F
V
V

V
F
V
F

(p
F
F
F
V

V
V
F
F

q)
V
V
V
F

V
F
V
F

F
F
V
V

V
V
F
F

q
F
F
V
F

V
F
V
F

V
F
V
F
V
F
V
F

V
F
V
F
V
F
V
F

4$

+ C
22

p
V
F

23

24

(p

(~

V
F

F
V

F
V

F
V

F
V

V
F

V
F

F
V

V
F

F
F

V
F

F
V

V
V

V
F

F
V

Tautologa

q)

q)

Contingencia

[~

F
F

V
V

V
V

F
F

(~

25
q

F
F

F
V

V
F

V
V

V
V

F
V

F
V

V
F

F
V

F
F

Tautologa
26

p)]

(p

q)

V
V

V
F

V
V

V
F

V
F

F
F

V
V

F
V

F
V

V
F

V
F

V
F

F
F

V
V

V
F

F
F

F
F

F
F

F
V

V
F

Contingencia
27
(q

(p

q)

Contradiccin
28

r)

[(p

q)

p)

V
V

V
V

V
V

V
F

V
F

V
V

V
F

V
F

V
F

V
V

V
V

V
F

V
V

V
V

F
F

V
V

V
F

F
F

V
V

V
F

F
F

F
F

V
V

V
F

F
F

V
F

V
V

V
F

V
F

F
F

V
V

F
F

V
V

V
F

29
(q
V V V
F V F
V F V
V F V
V V V
V V F
V F V
V F V
Contingencia

p
V
V
V
V
F
F
F
F

Tautologa

Contingencia

r)
V
F
V
F
V
F
V
F

:; ! $ !
*

"

!
0C
%
$
" " %
C
"
!

C
0

0
6

"

"
6
C !
C
!
6 $
"6

+
"
"
4

!3
6
0
"
0
"
4 " "3
R

4
& '/
!
"6
"
!3
RC

"

"

6
4

"

!
!3
!3
$

6
+
C
6
"

C
4

0
C

!3

"
+ $

2 .

"

<=02

05 !

>

0
1

"

"/

>
%

"
0

"

&

4
$
+ Z

$
4
O

!3

B
C
!3

"

C
C

"6
B

"

!
+

%
%
4%
%
%

>
"

>

4 "

6
0

$
!

!
"

!
2
2
;

?
@

>

!
B
?
B
4

6 =02

+ ? $

+
% 02
.%
%

4
Z!3

.
* "
* "

2
2
2
;

91 9>
#

2
2
;
2

? ! 8A
$ / ! 8
23

%
%
%
%

2
2
2
?

.
* "
* "

+
% 02
.%
%

2
2
;

91 9

<=0

> 0!

?
@

1C

?
?
?
B

=0!

!
2
2
2

? ! 8A
$ / ! 8
23

>

%
%
6%
%
%

.
* "
* "

2
2
;
2

+
%0
.% !
% 0!

!
2
2
;

?
@

!
B
?
B

2
2
;
2

? ! 8A
$ / ! 8
23

)*

"

4
"

"

!
$

4
6

WW

%
+

/2 2
; ;
W2 ;
W; 2

+
+
+
4
"

! 4

%
& "
"

!
!

!
6
6

2
W
;
$ $
$

2
! 4

;
W
2
$ $
$

! 4
2

$
$

4
'
5

!
$

2
W

W$

W
61( 7

!
$

! 4
W W$

La conjuncin, disyuncin y negacin son las conectivas primitivas, ya que gracias a la


regla de sustitucin, las dems conectivas como el condicional o el bicondicional se
pueden reducir a ellos:
4
%
4

"

$
$

$ !

/00111

0 (

0 ) 2
9

2(

$
W$

&

"

)*

"6 /

" Z

O Z

&

C 6

- 0
"

! C$
.

!
?

"

"

+
$ /

$
"
"

"
!

"
C

C$

"
"

+
$ /
+ + &
"
0

$
E
4

"

0
(

F"

! "

"

! %
)%%1
.
4 $
/
"
C4

"3 4
"
"

/00

/00

6
"

06.

0 C
C

! C
F "

" +

$
%

0333 45670

E 6

3
B
*

"
-4

28

9 9% :
1

)%%1

B
0
& $

3
"

3
2

O%

+
!

6
&

-.

.$

E E

'
,

"

! !

4 "
$
8
.
0 "

! %

% 0

?
Z

& "

"

"

"
?

C
6

& "

"

;(

"

!3

"

"

! 84/ ! !

"

C
!

4
!3

&

$
"6 C

C
!

!3
.

? ! !

?E !

4 "

% 8

$ /E !

&

4 " C
0 "
"
C
"
C
$
$
$
!
4
"
4 " C
0
"
!3
4 " "
C
C
@
7 " E
$
"
Z6
O Z" OC
!
0
!
C
C$
$
!
! !
"
6
"
4
!
C
+
! 6 "
!
$
" " C
0
"
!
6 $
"
!
4
*
$
"
E E
4
$
E E C
E 6 %

0
"
!3
"
4
%
o 5
"
.5
"
.

0
"
!3
"
!
%
o 5
.5
5
.

0
"
!3
"
4
%
o 5
!
.5
!
.

0
"
!3
"
!
%
o 5
&
.5
4
&
.
6
! !
6
8
.
/E !
.
4
"3

+
<

/
$

$
C

.5

.5

.
/ ! !

!
0

"

!3
C

+
<
4

"
E

!
0
!

"

!3

"
)

? !

"

+,

"

"
%

%
0

$
"6 /

"
C

6
"

$
4

"
!3
4

"

"

"
"

.,

$
+ C

*
C

0
C$

<
<

!
"

"

4 "

$"

$"

7//

)
(
(

+C

"6

0 %

$
$

'

!.

.
/

'

& "

"/
. "/
4

!.

4
0DF 1

9 4

?
F
9
P[ /
4
?

- 789
6
C

"

4
6
4
6

"
C
4

"
%

"
.
"6 /

"

Q &!

"

,"

+C

P
~~P
#
8

H *3
H *3

%
.
4 "

~~P
P

.
.

4 " %
*

,"
9

"6

"

& "

. WW

WW "
. "

3(0D1
/

"

'

0
& "

3(0D1
*

%
$

"
WW$

"

%
$

.
0DF 1
3(0)1

$
WW$
&
+

"

E
.

"
'

6
$
'

9 4
"6
*

755
'

C
?

%
.%

"

'

'

.
.

%
&

+
+

9 4

* "
* "

"

"6

I
$I

"

.
.
$
W$
W

6 !
"
@

'

9
1

"
$

@
$
"

&
$

"
&

H *3 )C #, #.
H *3 # ##

..

"

& "

. W
W

0DF 1

7$
"

?
?

"

%
%

.
.

"6

"

"

/"

+
J J

+
.

+ %
"6
"

"

6
"

"
6 !

"

+%
p
q

y
q

"
"6

p
q
p

& "

. $
$

0DF 1

"

7#

"

"

5
" "

"

.
C

"

D
"
5

!
&

"
$

"
6 !

"
"

#
C

"6 /

.
3!
"

4
'

H *3 8. 8

& 4 "

"6

pq
p

& "

" 4

pq
q

%
$

. $

'0D1

'0D1.,

9 4

$"

75/
"

?
"6

"

6 !

'

4 "

pvq
~p
q

Ejemplos:
(1) q v ~ r
(2) r
(3) q

+ 4

(1) p v q
(2) ~ p
(3) q

P
P
TP (1,2)

P
P
TP (1,2)21

- 7$

"

$
!

!
"6 / E
"
!

C
"

C
"6 /
$
!
C
5
1 C
+

E
!

"
C
$
? 6 !

$
$

"
!

Ejemplo:
(1) p q
(2) (p q) v r
.,
.

*:*
4 "

P
Ad.(1)22

H *3 8 8
H *3 8# 88

v$
"
3

$
"6 /
"6 /
! "
&
!
C
!
"6 /

* "

B "

"

"

"

" 7

6 !

>6

'G

7
4 "
7

7#;

*
4
4

6
"3 4 "
" "
+

"

"

"3

%
7

*
" "

&

+"6

>6

%
$

. $
'G0DF 1
& "

W
. W$
W

W$
W
W

* $
.
'G0DF 1

'G0DF 1

7%
!

4
"

6 $
" " F
" C +C
"
/
$ 4
D
"
"
3
! 3 C

"F

"
"

"
4 "
"

$
4

"

&

7#8

"

!
"

"
/

#
..
.

$4
$4

"

%
, '
!
,

! 4
(
! 4

( !
! 4 .
( !

H *3 9
H *3 9# 98

.#

!
!

(
(

'

.
#

P[ /
?

$4
!

!
,

! 4

! 4

'

.
Q

! 4

!
"6
"

4 "

0
! %

"

! 4
$

"

/$
.
$
/

'30DF F)1

"
4 $
"
6
"
4 "
"

! %

!
.

&

$
"
"

$
"

"

"

"

/"

'3 .

6 !

- 8

7+8
4

$
& 4 "

"

"6

"

"

/
.

%30D1

&

"

& "

! C

6 !

%3

%
$ /
$

>6 / !
" 4
B
"
<
"
.

W
. W

%30D1

/W
%3 0D1

4
&

" "
!

4 "

H *3 91 9)

.8

/$
.
$
/

'30DF F)1
%30 1.#

+ 4

&

C
"
"

6 6 "
&

C
F

"

'>

& 4 "

)=*= >
9 ?

C
$

"

"6

9 ?
- )@A* <

)@A*.
-

)=*=.

$
"
4 " %

0 E

"

#-

"

"

"6

!
(

"

"

0 E
- .

"6 /
?

+ 4

8 6

&
$
*
"
) $

"

.8

6 !

786

!
4

" "

"

%
'
B

* 9

#-

$!

"

.
.

%
!$

.8

"6

B +

.#

+ 6

<
/

>
;
(

3 "

"6 / C
(
4

.
W
W
$

4 "

4 0

.
D
W$
/$

" "
+"6

3!

%
W
W
$C

/$
W$
C

H *3 1, 1
H *3 1 1#

.9

! 0C

$ ?

$
6

"

"
4 "

'

&

!
1
A 9
*
$
+"6

"6 /
$ !

'

'

"

"

.
" "

%
W /W$
W
$
C
C

>

W
$
W /W$
"

'

%
$
/W$
E "3
4 "

4
4
"

W W /W$
W
W W $C
4 "
6
$
"

*- '&->C 6 / !
$
"
D .
C E
"
6
4 "

&- &->C 6 / !

< - >C 6 / !
+"6

"

%
C

$
! 4
4 "

"
C

WW
$
. / W$
W /W$
WW /W$
# WW WW /W$

$
E
E

$
4

"

'

4 "
"

"

6C

"
4 ?

"

4 "

"
C
C 6

"

"
"

+"6

+"6
4 "

4 "

/ /

"
+C
E

"
'

'
4 "

"

! 0$
"
4 "

4
6

3:0D1
3:0D
3:0D1
3:0D1

.1

/"
C
%

/ /

/"
4 "

C W

"

&U< >C 6 / !
$
6C
4 R
"
C
< 4 "
4 " C 6

&
'

$
4 "

'

"

E
E

"

6 !

3: .9

'

$ +
7

8
0

"

"
$

"

+"6

+ 4

7B
!

"

"

"
:

"

6 !

$
%

$ &

$
$

& +"6

4 "
% $
( 1 ..1

:
4

& 4 " "6


C
$
+"6
F "
?
6
$C
D " %
I 1
( ) $I )

"6

/"
?

% #

/"
/"

& "

/"

0
0

>

0D1

$
0D1

. $
$
$

0D1

$
. $
$

0DF 1

&

!
!

"6
E

6
$ +

$
*

4 "
*

.9
.1

3%

H *3 11 1)
H *3 )

.)

J
+C

J"3 4
3%

J$

.)

+ 4

$ !

"

( .+

X
$
X /$
X / $
X
$
*
*
*
* $

1
!

03

!1
5

0
0 5 1

6 /

0 6 /1

$ !

W$
*

"

"
.

#
8
9

"

& "

.)

Y
/ Y
Y
Y
$
$
$
$
$

3 . 3
/ 0331
+
0 + 1
?
+

"

03

"

6 /

, 0

6
%6
WW 6
WW W6
W6
W6
6
6 6
6
6

3:0D1
3(0 1
0)1
3
!0 1
+ 00H1 ,

H *3 ).
H *3 )8 )9

$
Y
X / $/ Y
X /$
/ Y
X
$ ?
Y
W $
W
W$
W$ W
*
$
X
$
$
X
$
W W$
W W
*
$
+

3 .

& "/
% !
$
"

+
E

"
!

0%

1F $

\
" $

"

&

$
"

4
$

"
0

6
4 " C
$
+

C E
"

"
/$

"

"

C $
!

4 "

0
"

H *3

"

%W

6
/ W6

$
W
# W$
8
9 W
W
1
)

W
G

G
0)F 1
0DF-1
0 F 1
0HFJ1
% 0 F*1

,.

"

6
"

C 6

+ C
"
%

"

2 "

4 "

"
E

6
3

! I G 1
C
C
+C

$
E

"
!
&

0
6
"

"
&

"

0
C IG

! .
C
4 "
" C&

6
4
C )).

6
E "

E
"

.; ! !
0 "

&

"

"
"
$

6
&
"
"3
4
R
: C E
" " C
&

6
!
" +
"
$
6
\C
@ 6
!

# 6
8
9 W /W
1 W
W
)
, W

0DF 1
0 F-1
3:0)1
0 FJ1
0HF*1
% 0 FK1

2
*

**

(1) m v t
(2) m v t
(3)
(1) m
(2) m
(3)

Demostrar: m
(1) t ~f
(2) t
(3) ~f
m
(4)
(5)

*
*

(1) ~p
(2) ~p
(3)

~t

*
*

(1) e
(2) e
(3)

*
*
*

Demostrar: ~g
(1) p
~g
(2) ~s p
(3) ~s
(4)
(5)

*
*

(1) p
(2) p
(3)

(1) u
(2)

(1) p g
(2) ~g
(3)

(1) p
(2) g
(3)
"6 /
(4)

(1) p
(2) r
(3)

//O
*
*

(1) ~p
(2) ~p
(3)

*
*

(1) ~m
(2) ~m
(3)

*
*
*

*
*

*
*

Demostrar:r t
(1) ~p ~q
(2) ~p
(3) ~q r t
(4)
(5)

*
*
*

*
*

(1)~~p $
(2) $ ~
(3)

(1) ~~ (m

(1) w
(2)

*
*

(1) s m
~ m

*
*

(1) w ~t
(2) ~~t
(3)

*
*

*
*

(1) e
m

*
*

(1) w
(2) ~t
(3)
"6 /
(4)

*
*

~q

*
*

"6 /

" 4
*

(1) p
(2)
"6 /
(3)

(1) m

(1) w (m
(2)
"6 /
(3)

"6 /

(1) p
(2) ~p
(3)

*
*

(1) m ~
~m

*
*

(1) w (m
(2) ~w
(3)

*
*

(1) p
(2)

(1) ~j

(1) w
(2)

P
P

(1) ~~r s
(2) p ~~r
(3)

P
P

P
P
P

(1) q ~~r
(2) ~~r m
(3) q b
(4)

P
P
P

~~d

u)

" 7
(1) p
(2) r
(3)

r
s

P
P

"

(1) q ~r
(2) q u
(3) ~r s
(4)

P
P
P

(1) q
(2)

!
q

(1) f
(2)

"
q

(1) p
(2) r
(3)

(1) (q
(2) (q
(3) ~r
(4)

r
s

~
g
y

(1) (~
(2)

(1) ~~d
(2)

(1) ~u
(2)

~~

(1) y
(2)

!
P

Demostrar: m
(1) t (q
(2) t
m
(q

P
P
P

Demostrar: ~~y
(1) p y
(2) p

P
P

Demostrar: ~~m
(1) s q
(2) ~q
(3) ~s m

P
P
P

Demostrar: k
(1) ~m
(2) r m
(3) ~r k

P
P
P

Demostrar: e
(1) h
(2) ~e ~h
(3)
(4)
(5)

P
P
DN(1)
TT(2,3)
DN(4)

Demostrar: p q
(1) g k h
(2) ~(g k) ~~(p
(3) ~h
(4) ~(g k)
(5) ~~(p q)
(6) p q
Demostrar: ~s
(1) ~r t
(2) s r
Demostrar: q
(1) q r
(2) q s

q)

P
P
P

Demostrar: m
(1) ~y ~h
(2) ~h m
(3) ~y

u
P
P
P

Demostrar: k
(1) p q v l
(2) q v l ~~k
(3) p

P
P
P

Demostrar: j
(1) ~j ~h
(2) h

P
P

Demostrar: (q v k)
(1) g h
(2) ~g ~~(q v k)
(3) ~h

P
P
P

Demostrar: r s
(1) p ~q
(2) q
(3) ~p r s
(4)
(5)
(6)

P
P
P
DN(2)
TT(1,4)
PP(3,5)

Demostrar: q
(1) ~p ~r
(2) ~q ~p
(3) r
(4) ~~r
(5) ~~p
(6) ~~q
(7) q

P
P
P

Demostrar: p
(1) r p
(2) r
(3) r q

P
P

Demostrar: ~s
(1) ~s q
(2) ~(t q)
(3) s t q

P
P

P
P
P

P
P
P

Demostrar: r
(1) p q r
(2) s ~f
(3) p
(4) q r
(5) r
(6) ~f
(7) r ~f

~f
P
P
P

Demostrar: l
(1) p ~q r
(2) q
(3) p t
(4) r l m
(5) ~m

P
P
P
P
P

Demostrar: t l
(1) p r m
(2) ~m
(3) ~(p r) l

Demostrar: ~t
(1) p ~q
(2) p r
(3) r ~q
(4) t q
(5) s

~t

Demostrar: r
(1) s r
(2) s

(p

P
P
P

Demostrar: s
(1) (r s) p
(2) q ~p
(3) t ~p
(4) q t

P
P
P

~s
P
P

P
P
P

Demostrar: ~s
(1) p ~s

P
P
P
P
P

q)
P
P

Demostrar: ~r
(1) s ~r
(2) t ~r
(3) s t

P
P

Demostrar: s q
(1) ~p ~q
(2) q
(3) ~p q s

Demostrar: p ~q
(1) p ~q r
(2) r ~s

P
P
P

Demostrar: ~(g k)
(1) ~(g k) ~q
(2) ~q ~t

Demostrar: p
(1) p (q r)
(2) ~r
(3) q s t

p
P

r
P
P
P
P

** C.

** C.

** C.

** C.

** C.

~f
# "

** C.
** C

# ~g

** .C
** C

~q
# r t

** C.
** C

** C.

~q
. ~~u

(2) (m
C.

~p

C.

p
"6 /
g

C.

. p
"6 /
g

C.

(3) ~s

C.

e m
"6 /
m

C.

(3)p

C.C

(4) g

(4) u
(2) q
(2) q

C.

w ~
"6 /
~

C.

. w
"6 /
(m
* C.

7 C.

C.

(3) ~w

* C.

(m

(3) ~

p
p

(2) ~~w

. m
"6 /
~
* C.

** C.

~~r
s

7 C.

(3) p

C.C

(4) b

(2) ~
(2) ~~

C.C
-

(2) ~~d
(2) (

~u

7 C.

(4) (q v f)
(5) m

PP(1,2)
PP(3,4)

(4) ~h
(5) m u

PP(1,3)
PP(2,4)

(3) y
(4) ~~y

PP(1,2)
DN(3)

(4) q v l
(5) ~~k
(6) k

PP(1,3)
PP(2,4)
DN(5)

(4) ~s
(5) m
(6) ~~m

TT(1,2)
PP(3,4)
DN(5)

(3) ~~h
(4) ~~j
(5) j

DN(2)
TT(1,3)
DN(4)

(4) ~r

TT(1,2)

(4) ~g

TT(1,3)

(5) k

(5) ~~(q v k)
(6) (q v k)

PP(3,4)

(3) ~~h
(4) ~~e
(5) e

PP(2,4)
DN(5)

(4) ~~q
(5) ~p
(6) r s

(4)
(5)
(6)

TT(1,3)
PP(2,4)
DN(5)

(4)
(5)
(6)
(7)

DN(3)
TT(1,4)
TT(2,5)
DN(6)

(3) ~r
(4) ~s

S(1)
TT(2,3)

(4) p
(5) q
(6) p

PP(1,2)
PP(2,3)
A(4,5)

(3) q
(4) s
(5) q

S(1)
PP(2,3)
A(4,5)

(4) ~s
(5) q
(6) ~s

(4)
(5)
(6)
(7)

PP(1,3)
S(4)
S(2)
A(5,6)

(4) p
(5) q r
(6) q
(7) s t
(8) t
(9) p t

(6) p
(7) ~q r
(8) r
(9) l m
(10) l

S(3)
PP(1,6)
TP(2,7)
PP(4,8)
TP(5,9)

(3) r
(4) r

(p

(4) ~(p r)
(5) l
(6) t l

TT(1,2)
PP(3,4)
Ad.(5)

(3) p

~q

SH(1,2)

(4) ~r
(5) ~r

~r

SD(1,2,3)
RD(4)

(6) ~q ~q
(7) ~q
(8) ~t
(9) ~t s

SD(1,2,3)
RD(6)
TT(4,7)
A(5,8)

(2) ~s

C(1)

(4) ~p
(5) q s
(6) s q

TP(1,2)
PP(3,4)
C(5)

(5) ~p ~p
(6) ~p
(7) r s
(8) s r

(3) ~(g

k)

~t

TT(2,3)
PP(1,4)
A(4,5)

S(1)
S(1)
TP(2,5)
PP(3,6)
S(7)
A(4,8)
q)

~s

PP(1,2)
Ad.(3)

SH(1,2)

SD(2,3,4)
RD(5)
TP(1,6)
C(7)

Z!

"

1
?

6
"

C 6
C

6
" !
%

6
6

" C

"

B
4

'
$

C B

4
C
" !

"
4 "
C
"
"

"
"

6 "
"

"
!
4

? !
&

"

"

6 B
:9 ;

$
B

B
!

$
B

<

O
"

?
B
!

4
*C [C -C HC

'

"
4

*
!

O
C

"

" Z

!
.

Z/ 9 O

Z/O

Z/ 9 O

"
"

"

>=?

2 .
B

"
"

"3
4

G
"6 N
E 6

E E

$
!

ZB ] O
ZB I L O

Z=

?
"

6
!

4+

"

6
!

ZB ] O
"
< 4

!
!
ZBO

$
"6 0 "

7
*B
!
* B IO B ] O

"
!

3
" F

*
* I!
* . I4
<

! 0$

!
!

&
* B C B.C

B
<

B
@

> 6 ?

6
3

/ 5 :@
E
Z
:

!/

A
0 "
8
8

>

"
"

"

6 C
0

"

?;
1

%
6

"6 /
"
;C

61

0
O

&

0
$

4
Z

$
B

"

* B IZ'

C
"6
"6

@
E 6 "

2 . 7
"
%
!"

"

1
C

Z O!
6 B C B.C
B C
4 " * B C B.C B
!
B C B.C
B
*
"6 /
"

6
4
" 4

*B

7
* B IOB I L O
* BC
? 4

Z!

*
2 .

6 BC

4
!
$

"
" E
"

E 6 J
4 " $
F
%Z

6
4

JC
"

"

$
Z!
Z

1
+"6
/O Z
$

/
5
B HOC

Z*
$

BO6 6
4 "
)

O
4 "

B
"

6
+
2 .

J
B JC J
"6 0

JC J

JC J

"6 /
+"6

; " 0
"

% Z'
4

* B I Z/ 8

BIZ

&

! !% -.O

" % 5 051 $

Z%

! !% -. 8

O
>

8 8

"

%
* B IO/ 8
[ IO/

O
O

BIZ

! !% -.O
"

& DE & F / & G

! !% -.6

8
. &B

U B I Z/
B I Z/

O
O

BIZ

5 =#051 L 051>

$
?

&B

* B Z!
>/?

/
2 .

+"6
5
1 DO Z

O
"

B /DO

% Z8 ( /
0
+"6

; " 0

B
O "

%Z

8
4

B
,

;6 Z8 (

* B I Z/ 8

BIZ
&
! !% -. 1
. &B

! !% -.O
" % 5 051 $
O

B
8

B I Z/

BIZ

Z!/

5 051

$
:'
/

1
6

E(
!

"

! C

"6 0
2 .

; " 0

Z0

* B IO/

BI Z

! !% -.O

9 5 051
"

"

-.

$ !
B

O
&

9 5 051 M

. ; " 0

!
4 "

* B IOB
BI Z

9 5 051

+ "

"
4 " $
$ Z!/
"

5 9 051
J

"

"

O
! !% -.O

Z0
% 5 9 051

! !%
! !% -. 1

"

!
O B

! !% -.

4 "

"

Z%

5 9 051
&

% 9 5 051 M

5 9 051

.
&

$
C

0
3

4 " 0
"
2 .

"

"6

+"6
!

! C

3
4

7
B

! !% -.
OC 4 " 0

%
B

Z/
;
Z(
&*& .,

O
1

5 051 / 4 B041

&

5 C 5
!
3"6

B
4 "

& "

C:

"

4 " C
" !
6

& "

" !

5 05F 0411

&

6 B

N 05F 0411O

3"6

3
4

45 0 4 %541

5 4

3"6

<

& "

3 6

3"6

5 0 4 %541

&

4 "

& "

"

3 6

5 0:5 P05F411

&

4 "

& "

5 4 0:5 P05F411

%
$ /

:! 8,

"6

"

:0@1

%
$ /
*

3
3

:! 8,

C
C

"3
C

"6
3

:0@/1

! " #

!#"

!
C

"

<
C

&

6
+"6

"

"

4 "

"

"

"

!
6
N
!
"6 /
'
O

&!

!
"

!
!

+4
<

C +"6

F
C

E 6

C
3

$
C! +
&

!
+"6

?
<

4 "
"

!
4

&!

F
O

E 6

C
!

%
"

%N !
051 =(051

*
%Z
*

Q.
$051>
/6 /

%N
051 =0(051
% Z!/
/

.
B

Q.
$051>
1 /

0
/

.
B

!
O
4

O
(

B
!

%
I O/
I Z/

O
O

'
. Z%

C
051 = 051
/6 /

Z
Z0
!1

< !

O
051>
C

4 "

6 O

:%
051 = 051
/

9 051>
*

&

/6

O
051 = 051 %051>
B /
1 /

Z!/
# Z

Z!/

B
O
051 =(051 9 051>
/
1 /
B

>

O
051 = 051
?051>
4
!
4 " !

9
Z0

Z0

()

Z0

9 ?051>

O
&$ !

()

"

()

"

4
!

!
+"6
4

4
C +"6

! C

4 "

" $

9 ?051>

&$ !

051 = 051
4

1
O

Z0

9 ?051>

?051>
B

! C

Z0

O
051 = 051
4

9 051 = 051
4 "

()

051 = 051 ?051>


4
B
4 " !

9 ?051>

&$ !

1
O
9 051 = 051
4
! C

&$ !

O
051 = 051
4

&

4 "

8
Z%

)
Z

&.

1
Z

+"6

051 = 051
4
! C

C 2 ;C
$
4 C

$
!

?051>
!

4 "
*
4 "
?
4

!
*B

6 B

R /

" !

5F 051 2
!
<
5F 051

!
*B

E C

"

<C

<

*B

;
& "

<
4

F"
!

4 "

5 05 S 5 T D17 &
F"
C
.
*

* B %BKBL
4

5 05 U -17 &
C6
4

2
!

5F 051
!
5F 051

.
& "

2
B <
;

#
BI C

" !

*B

*B

<C

"

<

<
4

6 B$

F"
" C

!
!

"
2

$
* B %BI#
;

*B

F"
!

4 "

5 05 U -1V

* B %BI#
B

4
.

5 05 U 5 T D1V
F"
4
B

2
2

"

* B %BIBL
BC
;

C$

B
C

F"

#C

F"
$

&#
; "

B
4 " 0

C
!

$
! < !

C
!

"3 C
"3
6
0

"
!
%

4F 6

). 3
*. $

"H

I
9

/
IJ
9J

"H
-

>
J3
J$
IB2 (
.
/

- 6

). +
*. /

'

'

0 C

/
KJ
J

>
J+
J/

'

IK

4
4

).
*.

"
"

/
J
5J

"
"

>
J

I-

5
E
/

" E

).
*.

/
5J
/J

>
J
I-

5 /
9

"

"

5
/

#
/

"

B
-

).
*.

&
>&

&

/
J
>J

&

>
LJ M9

"

I-

&

&

8
/

& >&

"
-

).
*. "

"

&
#&

/
>J
J"

"

>
LJ M9

&

& #&

"

I-

"

I?
-

/
).
*.
1.

+
"

/
+J
J
$J

"

>
J
I+
6
/

$
I?
-

"

).
*.

"

/
>J
8J

"

>
1

J
I-

"
I
-

"6 /

"

).
*.
1.

5
>

/
5J
J
>J
>
J

I-

5
5

>

>
>

I?

.I

).
*.

>
>

/
>J
>
J
J

I>
>

>

>

4 "

( )(
%

9G

1
*%

G
/

U%

7%

'

.
DD

( )(
%
3

#
%
G

G 1
*%

U%

7%

(
.

( )(
%

9G
*%

1
6

U%

"

3
!

$
(

7%

3
!

( )(

%
4

9#

G 1

*%

*%

U%

6 3
!

(5) ( 5 #5
%

4
"

U%

7%

U%

7%

"

%
#

9#5

*%

G51

U%

7%

4
"

4
" ;

(51 05
6

05 U FD 1

(51 05

05 U FD 1

(51 05 W 1 05 U 5 X 51
6

(51 05 W 1 05 U 5 X 51
(51 05 W 05 Y 5 X 511

.,
6

(51 05 W 05 Y 5 X 511
(51 05 S 05 Y 5 X 511

.
6

(51 05 S 05 Y 5 X 511

..

#5 G51

*% 4

(5) ( 5

051 0Z5

9 :0511

051 0Z5

G
.

(5) ( 5

G51

*%

7%

7%
'

#5 9 G51

(5) ( 5

U%

9 :0511

4 "

.
%

B
B
B 0

5U 1

?0

5UD1

B0

5U 1

?0

5UD1

B0

5U 1

$ !

4 "

051 0Z5 :0511

051 0Z5

#,

:0511

G
.

.
.#

051 0Z5 :0511

051 0Z5

:0511

051 0Z5

9:0511

051 0Z5 9:0511

$1
&
:

*
^&

4
- F *
.,,8

'
'
* G '
., , ;
%6
;
*
!

%E

7 SSS

"
+

%55SSS
?
4

"
G

"5S

"

"3
"3

! *

"
< !

EQ!I92B$ <'_B:_` I 8.8 < !

" 5

#.

1@?*

&

4 < !

? "

7 "6
*

!"

!"

# $ %

%# &' (
*
'

+
,

'.

'

1
"
"

"

'

4
"

&'
6 *

% &' $
!
(

'(

7(

% &

&

&'

7
!"
%

&

"

"

'"
"

"

"

"

"

"

#
"

"

'

"
)

"
3&
'(

1
%

'

&

.#

%3
4

'

7
,

.
4
6
-

6' (

"

'

&
+
*

)
7

!"

'9

6< ;4'

5
% &
7

# $ %

1
% &'

1
*7

'

"

4 '

4
!

.
4

6
-

='

'

, 678

6' 9

=6>

?=

!
!
(

% &
% &'

!
*7

9@AB

'

4'

"

!$

&

!$

4 '
-

&
/

#
#

.
4

6
-

C'

'

!"

='

$#4

$#4

'

"

4 '

'

5
5

% &
(

# $ %

% &'
5

1
*7

#
#

.
4

6
-

&

!;

<'

+<

4
'(

'

"

,
1

1
1

7+

'

'
;

"
6C 4

<

6C
C? <D

<

D= DC

<
-

6C

?6C

C? <D

6D DD

'-

D= DC

6C

?6C

C? <D

%4

! $#4
!
%=6 ;4 > ?

& E 6<
7 %=6 ;4 >

6C

=6 ;

&'

%;4&

7
*

& E =6

&'

!"

# $ %

)
F
#
,
,

E C?'
@ (

,
%# &'
1

$
E

6C

G$

%+.H @
%

*&

)
&

C? <D

'
G.
*

'CC 4
6C

)
!

'

,
)
1

&
G$ 0

G$ ,

%.

3 3
1

* 3

'

&

, &
&

&

6C

G$ ,

,4

6C 4 %4

&

G$ ,

,4

4 %4

&

G$

G$

&

%.

G$ ;

&

G$ ;

&

%.

(
%

C? <D 4 %4

&

4 %4

&

;4

&
-

D= DC

?6C 4 %4

&

4 %4

&

;4
D' -

'

&
%

"
"

&' (

%,
)

1
)

$#4' (
'

%
I

% 4I &

&

4I

'

G+

C?

1
&

%
)

$#4

"

)
% 4I &

7
3
?

& !
.?'

&

> !
3

&

>
>

&

!"
/3"
9

'

@
1"

>

>

!/3"

& A

> #>3

&

'

9
)

4
G(
=

>

> +
C?

# $ %

%
#.-.

4I

"
&'

#
"

'
G(

"

< ,

%< ,

<
,

&
D

'
)

&

"

'+
"

%F
)

%3

8#4&
3&'

G(
F " %;F"&

"I

&' (
) %

A.

. 9 !
"

?C<

)
'

6'

UNIDADES DE MEDIDA DE LA INFORMACIN


Factor
Nombre Abreviatura
Mltiplo
(base 2)
Kilo
Mega
Giga
Tera
Peta
Exa
Zetta
Yotta
Bronto
Geop

KB
MB
GB
TB
PB
EB
ZB
YB
BB
GeB

10
20
30
40
50
60
70
80
90
100

1.024 b
1.024 K
1.024 M
1.024 G
1.024 T
1.024 P
1.024 E
1.024 Z
1.024 Y
1.024 B

Tamao en SI
Tamao en Bytes
1.024
1.048.576
1.073.741.824
1.099.511.627.776
1.125.899.906.842.620
1.152.921.504.606.850.000
1.180.591.620.717.410.000.000
1.208.925.819.614.630.000.000.000
1.237.940.039.285.380.000.000.000.000
1.267.650.600.228.230.000.000.000.000.000

IEC - Comisin Electrotcnica Internacional

Factor
(base 10)
3
6
9
12
15
18
21
24
27
30

Tamao en Bytes
1.000
1.000.000
1.000.000.000
1.000.000.000.000
1.000.000.000.000.000
1.000.000.000.000.000.000
1.000.000.000.000.000.000.000
1.000.000.000.000.000.000.000.000
1.000.000.000.000.000.000.000.000.000
1.000.000.000.000.000.000.000.000.000.000

Unidades en IEC
Nombre Abreviatura
Kibi
Mebi
Gibi
Tebi
Pebi
Exbi
Zebi
Yobi
Bronto
Gebi

KiB
MiB
GiB
TiB
PiB
EiB
ZiB
YiB
BiB
GeiB

Exponente
Base 2
10
1.024
9
512
8
256
7
128
6
64
5
32
4
16
3
8
2
4
1
2
0
1
-1
0,5
-2
0,25
-3
0,125
-4
0,0625
-5
0,03125
-6
0,015625
-7
0,0078125
-8
0,00390625
-9
0,001953125
-10
0,0009765625

Base 10
10.000.000.000
1.000.000.000
100.000.000
10.000.000
1.000.000
100.000
10.000
1.000
100
10
1
0,1
0,01
0,001
0,0001
0,00001
0,000001
0,0000001
0,00000001
0,000000001
1E-10

!
"
#
"

"
$
&
'

%
(

#
(

"

&

)*+, - . / 012
3* +
2
*+

%
%
2

&

4&
7
;

#
% <* +

2*+ 2

"

%
8

) 3

)* +
%
);
);
);

2
4
4
4

)4
):
):

#
89:

5+ 26 &

"'

"

586* 586*

%
8* +

*=
0 , > - = ?
586* 586*= '

8
"

; )* +. / 01 0,2 )
5)6 * 5)6* -

%8

"'

"
%

3* +

2
0 , > -

&

%
$

& "&

#
%
* +@
B* +A
<* +<

7
'
C#( A
2
7
D

2
2

& "&

'$

"

"

%
* +$E$
;

%
B* +$E$

"

"

"

"

( ) "
"
5 6 %
)* +$E$
3* +$E $>* ,F

"

%
"
"
$

2
2

* +$E$

'G 0,H $H0>2

*
"
"
* +$E$ (
B* +$E$ I , *F2
<* +, , , ,2 4

* +

%
2
:

";
%

*G

J
$

"

"
"

J
#

"

%
)* +
3* +,F= (
*+
-

2
2
=

"

,02

"
%

)* +$ KG $ L,2
3* +$E$

- )

& . $" ;
3
(
$

)M$

"

4):
%

43:

2
2

%
* +. F / N 012
B* +. / 012
<* +. 012

<
B
<

<
B
B B <

3 5)

;
;

4
4

36

:
:

)*3

/ ')
(
)"

'

)* +
3* +)
;

O3
)
3
%
)* +0 , > - =2
3* +, -2

)
)

) 3

%@

%
; % )* +

!
+ 2G + 2G + 2G +

5)6 * +

"+
2G +

2G +

22

!
0

P
8

";
;

"

(
5)6

"
)

% )* +0 , >2
)

>
5)6* ++02G +,2G +>2G +0 ,2G +0 >2G +, >2G +0 , >2G 2

,> * /

Q 5)6R* , 5)6

4 :
, O0

%P

% 3* +

536*+ G + 2G + 2G + 2G + 2G +

2G +

2G +

3 . $4 2
;
;

2G + 2G + 2G + 2G +
1 . $2
3 (%
2 5
1 5
1 " 2 6

"

2G +

)
"

2G +

2G+

2
2G +

22

3
)

"

)*3
6
$

$";

. 7 8

"

"

"
S * +0 , > - = .2
T*+
2

)& "

"7

&

"

"
)
)*+

%
2 3*+

)J3*+
) 3* +

2
2

'

% 4J:

&

* -9 7

# *
) 3

#/ " &

)J3
4):
% ) J 3 * +$E$ )

'

T(

) 3

"

%
43:
$ 32

1
06 ) J 3 * 3 J )
,6 5)
5)

36
36

* )
*)

>6 )
)

53
53

6 * 5)
6 * 5)

5
53
53
36
36

6
6
5)
5)

5)

6
6

# 6

58

-6 ) J ) * )

5C

=6 )
)
)
)

J*J
J*)
*)
*

# 6

# 6

6
C

.6 5)U6U * )

F6 )
A

(Absorcin)

C) = A
(A B) = A

/6 5) J 36 *) 3
5) 36 *) J 3
)V3*) 3
""
'

5&

)) & . $1 8
) 3

# G

% )

) W

T(

C #

) 3

3 * +WEW

) 3
32

%
6
6
6
#6
0"7
$

'

)
)
)
)

3*3
)*)
X*X
J*)

J%

) ."$1 8
) "
)

% ) V 3 * +$E$
%;

%
) * +0 , > .2
3 * +, - . F /2
* +- F /2
) O 3 * +0 >2
3 O * +, .2
) O * +0 , > .2

T(

#
) 3
3G

) $

32

) 3
"

%
6 )O)*X
6 )OX*)
6XO)*X
#6 ) O 3 * 3 V )

)*3
)

. .:$; : $1 8
)

)"
"

#
)

#
'

% ) * +$E$

)2

%
;

%
J * +0 , > = . F /2
) * +0 > - F /2
) * +, = .2

T(

%
6 5) 6 * )
6 X *J
6J *X
#6 ) J ) * J
#6 ) ) * X
6"7
) /
) 3 $

< ) .=$ " ;


"

) Y 3 * +$E$

) $

32 # +$E$

"
3 $

)2

) 3
)

'

4 $

"
# :

T(

)
3

4) Y 3:

)J3"

4) Y 3:

Z ) Y 3 * 5) J 36 V 5)
Z )Y3*) Y3

36

'

% 4&

5) J 36 *) 3
5) 36 *) J 3
5

)
)$3

";

) $ 3 * +5

5
6E

32
:> #>7

J
;

:7#

CD 

1
#;
+<

"



[

) 3

"

%
#Z$
#Z$
,QU
,QU
,WCP
,WCP

'

)
)

4QOKPC
4QOKPC

,QU4QOKPC 

,WCP4QOKPC 

1 @
5

0CFKC
0CFKC

,QU0CFKC 

,WCP0CFKC 

5
5> -6 5= ,6

&


'UVGNC
'UVGNC

,QU'UVGNC 

,WCP'UVGNC 


')

$6

6
(

5T (

6%



)$ > ?& 1
%
%


 


0,

,1

(
#

#
#

"
"

0 <
) * +0 > - =2
3 * +0 > =2
* +- =2
;




&
5

(
6

"

'O
)
3
S

3
3
S

0 8

%
J * +0
* +0
B * +0
< * +>

,
,
,
-

%
.@ >$
' . @$
) . " @$
.@A$
. " @$A

> - = .2
> - =2
- =2
=2

0 0 5B

<6
;
%
5B <6 * +$E$ B $ <2
* + , - =2 +> - =2
* + , > - =2
*
0 , 5 B6
;
%
5 B6 * +$E$
$ B2
* + , > - =2 + , - =2
* +0 , - =2
*B

0 - BU
;

BU
"
(
J
)U * +$E$ J $ )2
J * +0 , > - = .2
B * +0 , - =2
BU * +> .2
0 = 5 O B6U
;
%
O B * +0 , > - =2 O +0 , - =2
O B * +>2
5 OB6U* +0 , - = .2

0 > 5 OB6
;
%
5 V B6 * +$E$
$ B2
* +0 , > - =2 O +0 , - =2
* +>2
8

,O
" $
.
5) 3 6 3
)53 36

=
*
*
=
*

>O
.: B $ ( " $
5) 6 ( )
) 53 )
5) 6 ( 6
) ( )
) V 53 6
-O
3: (

)]

2:B.
* ) V 53
* ) V 53
* ) V 53
* ) V 53
* ) V 53

$
6
6
6
6
6

= () C () C . $ " .: $ " .:
$ " . $ C 3:
.
$4

*
*
*
*

5)6 I
5)6 I
5)6 I
() I

53 6 O Q)53 6R
536 I 5 6 O 53 6 O Q5)365) 6R
536 I 5 6 O 53 6 O 5) 36 O 5) 6 I Q 5) 36 5) 6R
() I 5 6 O 5) 36 O 5) 6 O 53 6 I Q)5 6R

=O
.: :$ .:
) 5) 3 6
)
)

2:
*)
*)
*)

.O
. $:
) 53 6
5) 36 5) 6
53 )6 5 )6

2 . :$ .
* 53 )6 5
* 53 )6 5
* 53 )6 5

:$
)6
)6
)6

;
FO

: 3. .: $$ .: .: $$4
) Q53 )6 53 36R 5) )6 5)36
) Q53 )6 53 36R ) 5) 36
) Q3 )R 3* 3
5) 36 5) )6
5) 36 5)6
)
/O
J

#
"

,FF
,>>
-1=
0.=
0,1
0N1
01=

;
;

7
@
7
7

"
"
"
@

* ,FFO0,1I01=O0N1I01=O01=
* F, #
7* 0,1O01=* 0= A #
7 @* 0.=O01=* .1
#

@* -1=O0N1I01=O0.=I01=O01=* =-= #
#

6 \
6 \
6 \
@

;
;

S7

;
;
;

%
(
(
(

#
#
#
]

7* ,>>O0,1I01=O01=O0.=I01=
7* => #
@* 0N1O01=* /= #

* F,I=>I0=I/=I.1I0==I01=* =-= #

]
]

6 S
6 ;
6 ;

=-= #
F, #
@

/= #

C 2]_
3]_
%]_
D 4 5 3

E & $ #


% #
$ %
& %
%
6) 3
6)3
63O

! "
* += F /2
> 8

%
7*+
C*+
A*+
J*+

- P

8
2

6 7 CU
6 ) AU
67 C A

2
2
2

& 7 '
6 5& 76 5& 7U6 * +
6 57 'U6 * +
2
6 &U 7 'U6 * +^ 2

"

= ;

%&
2

0.

. 8

%
) * +0 ,2
3 * +, > -2
* +,2
\

F ;

\
/ ;

5) 3 6

%
)* +0 , > - =2
3 * +0 ,2
* +0 =2
8 * +0 -2
* +02

(]
) * +$ E $

C' $ H =2

'

)]

N 8

)*+

)]

01 8
%
P * +$ K E $ O , * 12
C * +$ K E ,$ O . * 12
A * +$ K E , H $ H >2
8

"

C &
CC P C * A
CCC P C * A
00 ;

%
P C

,
0, 8

3
\ (

"
)*+5 6E
\ (

)
_'

>

"

5) 36

5) 36]

(
_'

%
I * 0,2
)]

0> 0 O 8

(5 6

C `a * J
CC ) )a * J
CCC ) )a * J
0- ; ) * + 0 , > - = 2 3 * + > = 2 8
0= ; ) * +
0. ;

0F ;

2 3*+

) (
)*+
_' E
J * C'
)a *]
%
) * +$ K E $ * > O 0
3 * +$ K E $ * 5= E,6

3O)
2

*+

5)

36O ]

%
0H H 012

'
'

H 0-2
H 0>2

)O3*]

0/ ; 7 '
#

5 6]

C 7*'
CC 7 '
CCC 7 O ' * `

0N ;
)*+

3*+
*+

2
2
\

,1 8
, > -2
- =2
= F2
"

% ) * +$ ' E $ H >2 3 * +$
#
" %
3*,
3 * +0 ,2

)
)

,> ;

6
6
6

6
6

)
)

6
6

O B * +/ ,-2
5B O 6 5 O B6 * +/ ,-2

6
6

) 3 * +. 0, 0/ ,-2
) O 3 * +b02

6
6

)
)

' E $ I 0 * >2

#
#

3 * +0 , >2
3 * +,2

0,2
,-2

#
B * +0 , > - . / 0, ,-2
B * +0 , > - . 0,2
B

,- 8

%
) * +$
3 * +$

6
6
6

)
)
)

'E$
'E$

3*+
3*+
3*+

%
) * +, - . F /2
3 * +$ 'E$
\
6
6
6

(
)*3
) 3
3 )
3*J

,2
>2
#
=2
=2
.2

"

$ H 012
#

"

3 * )a
3*)O3

,F 8

%
* +$ ' E $
B * +$ ' E $

6
6

+> =2

P * +1 0 ,2

6
6

,. ; )

"

,, 8
8

,= 8

36 O ]

%
) * +0
3 * +,
* +>
;

,0 \

5)

6
6

"

) 3*`
5) 36a * `

3 * +, - . / 012
3 * +F2

6 5) J 36a 5 J 3a6a
6 ) Q3a J 5
)a6aRa
,/ 8

"

6 5) O 6 J 53 O 6 * 5) J 36 O
6 5) O 36 5) O 6 * ) O 53 J 6
6 5) O 6 O 53 O 6 * 5) O 36 O
6 5) O 36 3 * `
C
,N

6\ (
6\ $

>1 P
6

"

% ) * +0 ` +`22]
]

)3 ) 3
) * +0 , +>22 +- = +.22
3 * +> - = .2

) * +$ < E $ c ,2
3 * +$ < E d$d L >2

) * +$ < E $> I $ * 12
3 * + $ < E $, c 12

"

>0 8

P
J*+
)*+
3*+
*+

6 O3
6 5) O 6U
6 5) O 3U6U
6 5) )U6U

2
2
2

>, J

,111

%
/11
N=1
F=1
0=1
>11
,=1
,11 ;

G
G
G

8
G

"
(

01

-1

>N

"

#
#

#
00

"

%
6

6 '

>>

"

"

#
$

-/

"

>-

>,1

C
4

"
0,1
0-1
0>1
>1

4e
4
43

^
:G

8
D

4e
D

-1
=1

4
4e

:
^

:G

6 ;
6 C
6 '

43

43

GF

G 0,
G=

"

( G 00

00

G.

>.

@ D F N 0>
==
#
0= ; #
>> D
F
>; #
,= D
-. D
N
.' # @D
,; #

>F

0>

%
6 &
6&

0>

0>

"

,=1

#
/1

6\ (
6\ (
6 \ (
6\ (

>,

F
F

-1
0=1

>/ J
>1 111

:
,,

"

>=
6\

,1

:G

4e
4

J #
%

>1
0>1

]
]
]
]
.1 #
(
f >1 111
,F

>F

0
#

,.

6 \

"
f >1 111

,-

6 \

->

G >1
"
f >1 111

"

f >1 111
"

]
"
f >1 111

6 \

f >1 111
"

>N )

-/1

%
@
'
01
.1 "
--1 "
0/1 "

"
"

"

#
#

C
C

6\ (
6 \B

(#

-1 J
^5 86

#
5@ 6 )
%

@
;

0. "
0, "
,- "
N "
0. "

"
#

5 <6
5@ 6
5 <6
5 <6 5@ 6
5@ 6

]
-- "

"
5 <6

5 86
5 86 5 <6

6\

6\
6\ (
#

5 <6

-0

"
#
"
"

"
]
#

5 86 5 <6]
5@ 6

5 <6

"
) 3

%
6 \'
6 \'
6\ (
6\ (
6 \'
6\ (
6\ (
6\ (

]
"
]
"
"

]
3
) 3]
)]
]
3]

-, ;

=1
\

>1

,=

01
]

-> J

>=1
#

.1

0.1
#

011

6\ (
6\ (
6\ (

#
#

]
]

--

"
) 3

%
6 \'
6 \'
6\ (
6\ (
6 \'
6\ (
6\ (
6\ (

]
"

0.=
G ,1
(

(
G ,-

(
.>

6\ (
6\ (
6\ (
6\ (

]
3
) 3]
)]
]
3]

"

-=
/>

]
"

G >>
G FN

(
(

]
]
]
]

-.

0,1

"

F/
"

5 6

-/
5@6 )

..

#
(

>.

,%
6\ (
6 \) (
6 \) (
6\ (

]
#

]
]

5D6

6\
-F ;

>
-

) 3

%
6\ (
6\ (
6\ (
6\ (
6\ (

]
J
/

"

>
) 0,

) 3 >
3 01

]
) 3]
3

]
]
]

-/ J

(
"

&
d)d * /
d3d* 0>
8

5)6

536

"
d d * 0>
d) 3d * =

d)
d3

%
6\ (
6\ (
6\ (
6\ (
6\ (
6\ (

5 6

#
d*>
d*.

d)

%
d*,

]
]
]
]
(

-N )

#
%
5

536

0=
(g

5)6

"

%
d)d * d3d * d d * .
d) 3d * d3
d*0
d)
d*,
d) 3
d*1

%
6\ (
6\ (
6\ (
6\ (

=1
8>

(g

d)d*,>
d3d*,.

) 3

"

80 8,

;%
d d*>1
d) 3d*F

6\ (

]
011

]
]

d)
d3

d*/
d*01

80]

d) 3

d*>

6\ (
6\ (
6\ (

]
,

]
]

=0 J
0,1
S

>1

0,

>11
0/

;
)

"

0/1

0,

.
%
6\ (
6\ (
6\ (
6\ (

=,

,,
(

]
]
]

G 0,
=

F
6\ (
6\ (
6\ (
6\ (

( 00
(

00

]
]
]
]

=>

,, ,> -/

%
F=
0>
#
>1 #
#
,1 #
-> #
>
#
>
#

,,

,, ,>
,, -/
-/
,>
#
-/ ,>

"
6
6
6
6#

#
#

,>
,,
#

=- J
=0

N1 #

=.

=1

G ,F

-.

>,

,F

%
6 \
6 \
6 \

(
(
(

==

#
#
#
-=

01

]
# ]
]
G ,G 0N

0,
#

= $

( G ,=
#

( =

%
6\ (
6\ (
6\ (
6\ (
6\ (
=.
S
S
;

]
^ ]
^ ]

#
$

# ]
# ]
=11

h
h

h ;
,F1 h
001 S

A
6\ (
6\ (
6\ (
6\ (
6\ (

&

"
G =1
h

h
3

3
A

,=1

S
G ,1

>-=
>= #

A
]

(
(
(
(
(

i]

" 0>1 #
7(
011
#

.= #

,0=
; ,1

@D]
]
$

]
]
]

=/

#
&
5

< #
)
3

%
) 3

"

<

6
6
6
6

=N
011

\
\
\
\

(
(
(
(

#
$
#
) 3

F1

]
#

.1
(

]
#

D
% .1

,=

6
F11
=11
.11
0,=
011
/1

) 3
)
3

(
(

0N1
3
i

]
3

6\
6\

F1

]
==1

;
;
;

3
h

=F ;

6\
6\
6\
6\
6\

3]

6\ (
6\ (

]
$

.1

j
)

j
-= j

.0
g

$
;

k
j

>-

0(

0>
"

"

>/ j

00

; >

=F j

"

G
6\ (
6\ (
6\ (
.,

$
$

(
(

]
(

]
]

,=1

#
-1

% >1

/1

0>1

0=1
)

G
6\ (
6\ (
6\ (
6\ (

.> J
#
:8

:8
P :G 0N #

]
]
]
]
#
0=0
P :G 0. #
:S
:
:8

6\ (
6\ (
6\ (
.g

$
;

:7
:
P :G ,.

#
#
#

:G .0 #
:7

]
>-

0-

0>

$
$
) 3

"

,0

; >

6\ (
6\ (

6 l 5) m6 * >
6 l 5)
6*>
6 l 53
6*6l)*/

:& 7
:G ,= #

>

./ #
:S

(
G

.= ;

"

(
(

]
(

"
6 l 3 * 0,
6 l * 01
6 l 5) m

6*0

:S
:

: =,

5) J 3 J 6G 5)J36 53J 6

!
"

..

.F
./
.N
F1

iii
)
4@
%EE
$ %&& #

! #

%EE
%EEiii

E
&

-E
O O
:
%EEiii
E-,>/,,1.E@
O O
& &'
( )

E
E)

E
OT

$
O8

E7 [
n,1 n,1

EJ #

"

*! !(&( * ,$- . $/ *

" "

!
"
!

"

"

"

"
#$
#$
#$

#$
#$
#$

%& '&(
%& '&(
%& '&(

*"+

)"+

)"
+
+
"+

"
"
!"
!
"
"

*
)"
+"

#$

) +"

#% &
#%! &
!

"

%
%

!
!

"

"

" !"
" !"

'
(

"

%!
%

"

"

)%
%
+%

*
!

)'+' %,
!

#%

(1
2
2

2
0

2
2
2
2
"-

0
0
0
0
.# %

2! 2
!

0
0

2
2
0 2

)* 7
)* 7
)7 )

0
3

0
0
0

3 2" "0 4 2
" "
4 " "

" 2
56

0 "

0 56

2
2
2 0

2 0
0
0

2!
!

0!

- % !
%
. %

Puerta lgica

Puerta lgica
Una puerta lgica, o compuerta lgica, es un dispositivo electrnico el cual es la expresin fsica de un operador
booleano en la lgica de conmutacin. Cada puerta lgica consiste en una red de dispositivos interruptores que
cumple las condiciones booleanas para el operador particular. Son esencialmente circuitos de conmutacin
integrados en un chip.
Claude Elwood Shannon experimentaba con rels o interruptores electromagnticos para conseguir las condiciones
de cada compuerta lgica, por ejemplo, para la funcin booleana Y (AND) colocaba interruptores en circuito serie,
ya que con uno solo de stos que tuviera la condicin abierto, la salida de la compuerta Y sera = 0, mientras que
para la implementacin de una compuerta O (OR), la conexin de los interruptores tiene una configuracin en
circuito paralelo.
La tecnologa microelectrnica actual permite la elevada integracin de transistores actuando como conmutadores en
redes lgicas dentro de un pequeo circuito integrado. El chip de la CPU es una de las mximas expresiones de este
avance tecnolgico.
En nanotecnologa se est desarrollando el uso de una compuerta lgica molecular, que haga posible la
miniaturizacin de circuitos.

Lgica directa
Puerta S o Buffer
La puerta lgica S, realiza la funcin booleana igualdad. En la
prctica se suele utilizar como amplificador de corriente o como
seguidor de tensin, para adaptar impedancias (buffer en ingls).
La ecuacin caracterstica que describe el comportamiento de la puerta
S es:

Smbolo de la funcin lgica S: a) Contactos, b)


Normalizado y c) No normalizado

Su tabla de verdad es la siguiente:


Entrada

Salida

|+Tabla de verdad puerta SI

Puerta AND
La puerta lgica Y, ms conocida por su nombre en ingls AND (
), realiza la funcin booleana de producto lgico.
Su smbolo es un punto (), aunque se suele omitir. As, el producto
lgico de las variables A y B se indica como AB, y se lee A y B o
simplemente A por B.
La ecuacin caracterstica que describe el comportamiento de la puerta
AND es:
Puerta AND con transistores

Puerta lgica

Su tabla de verdad es la siguiente:

Smbolo de la funcin lgica Y: a) Contactos, b)


Normalizado y c) No normalizado

Entrada

Entrada

Salida

|+Tabla de verdad puerta AND


As, desde el punto de vista de la aritmtica mdulo 2, la compuerta AND implementa el producto mdulo 2.

Puerta OR
La puerta lgica O, ms conocida por su nombre en ingls OR (
), realiza la operacin de suma lgica.
La ecuacin caracterstica que describe el comportamiento de la puerta
OR es:

Su tabla de verdad es la siguiente:

Puerta OR con transistores

Smbolo de la funcin lgica O: a) Contactos, b)


Normalizado y c) No normalizado

Puerta lgica

Entrada

Entrada

Salida

|+Tabla de verdad puerta OR


Podemos definir la puerta O como aquella que proporciona a su salida un 1 lgico si al menos una de sus entradas
est a 1.

Puerta OR-exclusiva (XOR)


La puerta lgica OR-exclusiva, ms conocida por su nombre en ingls
XOR, realiza la funcin booleana A'B+AB'. Su smbolo es el ms (+)
inscrito en un crculo. En la figura de la derecha pueden observarse sus
smbolos en electrnica.
La ecuacin caracterstica que describe el comportamiento de la puerta
XOR es:

Smbolo de la funcin lgica O-exclusiva: a)


Contactos, b) Normalizado y c) No normalizado

|Su tabla de verdad es la siguiente:


Entrada

Entrada

Salida

|+Tabla de verdad puerta XOR


Se puede definir esta puerta como aquella que da por resultado uno, cuando los valores en las entradas son distintos.
ej: 1 y 0, 0 y 1 (en una compuerta de dos entradas). Se obtiene cuando ambas entradas tienen distinto valor.
Si la puerta tuviese tres o ms entradas , la XOR tomara la funcin de suma de paridad, cuenta el nmero de unos a
la entrada y si son un nmero impar, pone un 1 a la salida, para que el nmero de unos pase a ser par. Esto es as
porque la operacin XOR es asociativa, para tres entradas escribiramos: a
tabla de verdad sera:

(b

c) o bien (a

b)

c. Su

Puerta lgica

Entrada

Entrada

Entrada

Salida

|+XOR de tres entradas


Desde el punto de vista de la aritmtica mdulo 2, la puerta XOR implementa la suma mdulo 2, pero mucho ms
simple de ver, la salida tendr un 1 siempre que el nmero de entradas a 1 sea impar.

Lgica negada
Puerta NO (NOT)
La puerta lgica NO (NOT en ingls) realiza la funcin booleana de
inversin o negacin de una variable lgica. Una variable lgica A a la
cual se le aplica la negacin se pronuncia como "no A" o "A negada".
Smbolo de la funcin lgica NO: a) Contactos,
b) Normalizado y c) No normalizada

La ecuacin caracterstica que describe el comportamiento de la puerta


NOT es:

Su tabla de verdad es la siguiente:

Puerta NOT con transistores

Puerta lgica

Entrada

Salida

|+Tabla de verdad puerta NOT


Se puede definir como una puerta que proporciona el estado inverso del que est en su entrada.

Puerta NO-Y (NAND)


La puerta lgica NO-Y, ms conocida por su nombre en ingls NAND,
realiza la operacin de producto lgico negado. En la figura de la
derecha pueden observarse sus smbolos en electrnica.
Smbolo de la funcin lgica NO-Y: a)
Contactos, b) Normalizado y c) No normalizado

La ecuacin caracterstica que describe el comportamiento de la puerta


NAND es:

Su tabla de verdad es la siguiente:

Puerta NAND con transistores

Entrada

Entrada

Salida

|+Tabla de verdad puerta NAND


Podemos definir la puerta NO-Y como aquella que proporciona a su salida un 0 lgico nicamente cuando todas sus
entradas estn a 1.

Puerta lgica

Puerta NO-O (NOR)


La puerta lgica NO-O, ms conocida por su nombre en ingls NOR,
realiza la operacin de suma lgica negada. En la figura de la derecha
pueden observarse sus smbolos en electrnica.
Smbolo de la funcin lgica NO-O: a)
Contactos, b) Normalizado y c) No normalizado

La ecuacin caracterstica que describe el comportamiento de la puerta


NOR es:

Su tabla de verdad es la siguiente:

Puerta NOR con transistores

Entrada

Entrada

Salida

|+Tabla de verdad puerta NOR


Podemos definir la puerta NO-O como aquella que proporciona a su salida un 1 lgico slo cuando todas sus
entradas estn a 0. La puerta lgica NOR constituye un conjunto completo de operadores.

Puerta equivalencia (XNOR)


La puerta lgica equivalencia, realiza la funcin booleana AB+~A~B.
Su smbolo es un punto () inscrito en un crculo. En la figura de la
derecha pueden observarse sus smbolos en electrnica. La ecuacin
caracterstica que describe el comportamiento de la puerta XNOR es:
Smbolo de la funcin lgica equivalencia: a)
Contactos, b) Normalizado y c) No normalizado

Su tabla de verdad es la siguiente:

Puerta lgica

Entrada

Entrada

Salida

|+Tabla de verdad puerta XNOR Se puede definir esta puerta como aquella que proporciona un 1 lgico, slo si las
dos entradas son iguales, esto es, 0 y 0 1 y 1 (2 encendidos o 2 apagados). Slo es verdadero si ambos
componentes tiene el mismo valor lgico

Conjunto de puertas lgicas completo


Un conjunto de puertas lgicas completo es aquel con el que se puede implementar cualquier funcin lgica. A
continuacin se muestran distintos conjuntos completos (uno por lnea):
Puertas AND, OR y NOT.
Puertas AND y NOT.
Puertas OR y NOT.
Puertas NAND.
Puertas NOR.
Adems, un conjunto de puertas lgicas es completo si puede implementar todas las puertas de otro conjunto
completo conocido. A continuacin se muestran las equivalencias al conjunto de puertas lgicas completas con las
funciones NAND y NOR.

Conjunto de puertas lgicas completo :


Salida funcin

Salida funcin

Equivalencias de un conjunto completo


Equivalencias del conjunto completo anterior con slo puertas

Equivalencias del conjunto completo anterior con slo puertas

Puerta lgica

Enlaces externos
[1]

Using Logic Gates


Simbologa de Puertas Lgicas [2]

Referencias
[1] http:/ / knol. google. com/ k/ max-iskram/ digital-electronic-design-for-beginners/ 1f4zs8p9zgq0e/ 23
[2] http:/ / www. simbologia-electronica. com/ simbolos_electronicos/ simbolos_electronica_digital. htm

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo


Puerta lgica Fuente: http://es.wikipedia.org/w/index.php?oldid=60879307 Contribuyentes: -antonio-, -jem-, Aalvarez12, Acuario2253, Airunp, Alberto Salguero, Alejandrocaro35, Alvaro e
rod, Alvaro6900, BValiente, Baned, Baute2010, Bcoto, Bedwyr, Biasoli, Camilo, Cidel, Delphidius, Diegusjaimes, Digigalos, Domaniom, Drever, ECAM, Eduardosalg, Fajro, GermanX,
Giragus, Guevonaso, Halfdrag, Hawking, Hprmedina, Humbefa, Humberto, Ingolll, Jarke, Jkbw, Jmvkrecords, Jorge c2010, Julie, Kokoo, Linkedark, Lotesse, MONIMINO, Maldoror, Manw,
Matdrodes, MercurioMT, MiguelAngelCaballero, Misigon, Miuler, MoN 02, Murphy era un optimista, Museo8bits, Mximo de Montemar, Neofrek, Netito777, Nissan power, NudoMarinero,
ONDIA, PACO, Petronas, Phirosiberia, Porao, Plux, Queninosta, Rafa-uv, Rafacarlos-uv, Ramonserra, Raulshc, Rosarinagazo, RoyFocker, Rubpe19, Rutrus, Sabbut, Santiperez, Savh, Shooke,
Switcher6746, Taichi, Technopat, Tirithel, Tolitose, TorQue Astur, Triku, Unaiaia, Vistosiblog, Wewe, 317 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes


Archivo:Funcion logica SI.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_SI.PNG Licencia: GNU Free Documentation License Contribuyentes:
User:Orgullomoore
Archivo:Puerta AND con transistores.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puerta_AND_con_transistores.jpg Licencia: Creative Commons Zero Contribuyentes:
User:Rafacarlos-uv
Archivo:Funcion logica Y.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_Y.PNG Licencia: GNU Free Documentation License Contribuyentes:
User:Orgullomoore
Archivo:Puerta OR con transistores.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puerta_OR_con_transistores.jpg Licencia: Creative Commons Zero Contribuyentes:
User:Rafacarlos-uv
Archivo:Funcion logica O.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_O.PNG Licencia: Public Domain Contribuyentes: user:diegoxcd
Archivo:Funcion_logica_O-EX.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_O-EX.PNG Licencia: GNU Free Documentation License Contribuyentes:
User:Orgullomoore
Archivo:Funcion logica NO.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_NO.PNG Licencia: GNU Free Documentation License Contribuyentes:
User:Orgullomoore
Archivo:Puertas NOT con transistores.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puertas_NOT_con_transistores.jpg Licencia: Creative Commons Zero Contribuyentes:
User:Rafacarlos-uv
Archivo:Funcion logica NO-Y.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_NO-Y.PNG Licencia: GNU Free Documentation License Contribuyentes:
User:Orgullomoore
Archivo:Puerta NAND con transistores.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puerta_NAND_con_transistores.jpg Licencia: Creative Commons Zero
Contribuyentes: User:Rafacarlos-uv
Archivo:Funcion logica NO-O.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_NO-O.PNG Licencia: GNU Free Documentation License Contribuyentes:
User:Orgullomoore
Archivo:Puerta NOR con transistores.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puerta_NOR_con_transistores.jpg Licencia: Creative Commons Zero Contribuyentes:
User:Rafacarlos-uv
Archivo:Funcion logica NO-O-EX.PNG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Funcion_logica_NO-O-EX.PNG Licencia: GNU Free Documentation License
Contribuyentes: User:Orgullomoore

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/

Sistemas de control secuencial


____________________________________________________________________________________

TEMA 3 : LGEBRA DE BOOLE

____________________________________________________________________________________
Algebra de Boole
pg. 1

Sistemas de control secuencial


____________________________________________________________________________________

Fuente: Apunte sobre 'Automatismos':


http://es.scribd.com/doc/47688877/apuntes-de-automatismos

____________________________________________________________________________________
Algebra de Boole
pg. 2

http://es.scribd.com/doc/47688877/apuntes-de-automatismos
Sistemas de control secuencial
____________________________________________________________________________________

El fin de toda lgebra o sistema matemtico es el de representar, mediante una serie de


smbolos y operaciones un grupo de objetos o elementos con el fin de obtener una serie
de ecuaciones escritas en forma simblica, que mediante su manipulacin y/o
simplificacin correctas nos den la solucin de un sistema con el menor nmero de
elementos posible, de modo que sea idntica a la dada.
El filsofo y matemtico George Boole desarroll a mediados del siglo XX un sistema
matemtico basado en relaciones lgicas, estableciendo una serie de postulados y
operaciones con la misin de resolver los automatismos o procesos a ejecutar.
La diferencia entre el lgebra convencional y el lgebra de Boole es que esta ltima est
relacionada con dos operaciones binarias lgicas, como son la suma ( + ) y el producto (
. ) lgicos, y con las variables "0" y "1"; mientras que la convencional necesita de
relaciones cuantitativas, es decir, necesitamos saber si X es mayor que Y por ejemplo.
Basado en estas relaciones lgicas, su lgebra da a todos sus elementos dos nicos
valores ( 0 y 1 ) que son opuestos entre s.

AXIOMAS DEL LGEBRA DE BOOLE

En este punto, se indican todos aquellos postulados o teoremas que relacionan el lgebra
de Boole, apoyndonos en la representacin de contactos elctricos para una mayor
comprensin.
Recordemos que el signo suma (+) en el lgebra de Boole equivale, traducido al lgebra
de contactos elctricos, a un circuito paralelo, mientras que el signo producto (.)
equivale al circuito serie.

Operacin

Expresin
Booleana

Contactos
elctricos
a

Suma

a+b
b
a

Producto

a.b

Significar que la operacin producto se indica generalmente mediante la ausencia de


smbolo entre dos variables.

Tambin :

a b = ab
1 lgico equivale a contacto cerrado
0 lgico equivale a contacto abierto

____________________________________________________________________________________
Algebra de Boole
pg. 3

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

1.1

Postulados y teoremas

1.-

Las operaciones suma y producto son conmutativas :


b

a
a)

a+b=b+a

=
b

b)

2.-

3.-

ab = ba

a
b

Ambas operaciones son asociativas :


a)

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

b)

( ab ) c = a ( bc ) = abc

Ambas operaciones son distributivas :


a

a)

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

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

=
b

c
b

c
a

=
c

4.-

b)

La suma o producto de dos variables iguales equivale a la misma variable


a
a)

a+a= a

=
a

b)

a.a = a

a
=

____________________________________________________________________________________
Algebra de Boole
pg. 4

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

5.-

Existe elemento complementario para cada operacin :


a
a)

a+ a=1

=
a

b)

6.-

a.a = 0

a
=

Ley de absorcin
a
a)

a + ab = a

=
a

b)

a(a+b)= a

b
a

a
=

7.Existen dos elementos neutros, el 0 y el 1, cumplindose la propiedad en dos de


los casos, quedando como 1 y 0 lgicos en los otros dos :

a
a)

a.1= a

=
a

b)

a
=

a+0= a
0
a

c)

a.0= 0

a
d)

a+1= 1

1
=

____________________________________________________________________________________
Algebra de Boole
pg. 5

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

8.-

Para todo elemento del lgebra de Boole se cumple que :


=
a = a
Lo que queda perfectamente aclarado comprobando su tabla de verdad

9.-

_
a

=
a

0
1

1
0

0
1

Postulado noveno
a

a
a)

a+ab=a+b

=
a

b)

a(a+b)= ab

=
b

Demostracin

a)

a+ab=(a+a)(a+b)=1(a+b)=a+b

b)

a(a+b)=aa+ab=0+ab=ab

TEOREMA DE DE MORGAN

Permite transformar funciones " suma " en funciones " producto " y viceversa.

a)

A+B=AB

c)

A+B=AB

b)

AB=A+B

d)

AB=A+B

____________________________________________________________________________________
Algebra de Boole
pg. 6

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

La ecuacin a) nos demuestra que podemos conseguir una puerta NOR invirtiendo
las entradas de una puerta AND

La ecuacin b) nos demuestra que podemos obtener una puerta NAND invirtiendo
las entradas de una puerta OR

La ecuacin c) nos demuestra que podemos obtener una puerta OR invirtiendo las
entradas de una puerta NAND

La ecuacin d) nos demuestra que podemos obtener una puerta AND invirtiendo
las entradas de una puerta NOR

Los teoremas del lgebra de Boole son demostrables por el mtodo de induccin
completa que consiste en comprobar que la relacin entre los elementos que el teorema
define, se cumplen en todos los casos posibles. Para poder realizar esto, se utilizan las
tablas de verdad.
Por ejemplo : Vamos a demostrar la ley de absorcin
a+a.b=a
Cuya tabla de verdad es la siguiente :

a
0
0
1
1

b
0
1
0
1

a+a.b
0+0.0=0
0+0.1=0
1+1.0=1
1+1.1=1

a
0
0
1
1

Existen infinidad de teoremas en el lgebra de Boole, tantos como puedan ser


demostrados por el mtodo referido, sin embargo, los indicados anteriormente se
encuentran entre los ms importantes por su utilidad.
Por otra parte, siempre que se cumple una ley o teorema en el lgebra de Boole, se
cumple tambin su forma dual; es decir, la expresin que se obtiene cambiando
solamente las operaciones de suma por las de producto y las de producto por las de
suma. Las formas duales de las leyes y teoremas bsicos se indican en la siguiente tabla.

____________________________________________________________________________________
Algebra de Boole
pg. 7

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

Nombre de la Ley
Ley de absorcin
Teorema
Morgan

de

Forma bsica

Forma dual

a+a.b=a

A.(a+b)=a

De __________
_ _ _
( a + b + c + ... ) = a . b . c ...

_______
_ _ _
( a . b . c ... ) = a + b + c + ...

Leyes de
transposicin

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

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

Leyes varias

_
a+a.b=a+b
_
_
a+a.b=a+b
_
a.b+a.b.c=a.b+a.c
_
_
a.b+a.c+b.c=a.b+a.c
_
a.b+a.b=a

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

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

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

FORMAS DE UNA FUNCIN BOOLEANA

Una funcin Booleana se puede expresar de las siguientes formas :


a)

Mediante la expresin lgica : F = c + b a

b)

Mediante la tabla de verdad. Ejemplo : F ( c, b, a ) = c b + c a

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
1
0
1
0
0
1
1

____________________________________________________________________________________
Algebra de Boole
pg. 8

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

c)

Mediante los trminos cannicos. Se tienen las siguientes estructuras :


*

Ecuacin con estructura minterms : Esta ecuacin est estructurada como


una suma de trminos en forma de productos de las diferentes variables que
intervienen en la ecuacin. Por ejemplo :
x=abc+abc+abc

Ecuacin con estructura maxterms : Se dispone como un producto de


trminos en forma de suma de las diferentes variables que intervienen en la
ecuacin. Por ejemplo :

y = ( a + b + c ) . ( a + b + c ) .( a + b + c )
Tanto en una estructura como en la otra, todos los trminos han de contener todas las
variables que intervienen en la ecuacin
Suele utilizarse tambin una segunda forma cannica, llamada numrica. Se asigna a
cada trmino cannico un nmero decimal que es el equivalente binario que se obtiene
de sustituir las variables segn el siguiente criterio :
A las variables que aparecen de forma directa 1
A las variables que aparecen de forma negada 0
Ejemplo : Supongamos una funcin F expresada en minterms :
F = c b a + c b a + c b a + c b a = ( 1, 3, 5, 7 )
3

111
(7)
101
(5)
011
(3)
001
(1)
Si viene expresada en forma de maxterms :
F = ( c + b + a ) . ( c + b + a ) . ( c + b + a ) . ( c + b + a ) = II ( 1, 3, 5, 7 )
3

____________________________________________________________________________________
Algebra de Boole
pg. 9

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

4
a)

CONVERSIN ENTRE FORMAS


Para pasar de la tabla de verdad a la expresin cannica algebraica en forma de
suma de productos, se parte de la tabla de verdad y, aquellas combinaciones que
hacen "1" la funcin se toman con el criterio expuesto anteriormente.

c
0
0
0
0
1
1
1
1

luego

b
0
0
1
1
0
0
1
1

a
0
1
0
1
0
1
0
1

F
0
1
0
1
0
0
1
1

c.b.a

c.b.a

c.b.a
c.b.a

F = c . b . a + c . b . a + c . b . a + c . b . a = 6 ( 1, 3, 6, 7 )
3

b)

Para pasar de la forma cannica algebraica o numrica de minterms a la tabla de


verdad se procede al contrario, poniendo un "1" en las combinaciones
correspondientes a los minitrminos.

c)

Para pasar de la tabla de verdad a la expresin cannica algebraica producto de


sumas, se parte de la tabla de verdad y aquellas combinaciones que hacen "0" la
funcin se toman con el criterio inverso al anterior ( las variables que valgan "0"
se toman directas y las que valgan "1" complementadas.
En el ejemplo anterior :
F = ( c + b + a ) . ( c + b + a ) . ( c + b + a ) . ( c + b + a ) = II ( 2, 3, 5, 7 )
3

d)

Para pasar directamente de una forma cannica de minterms a maxterms y


viceversa, se obtiene la conversin mediante el complemento a 2n-1 de los
trminos que no pertenecen a la funcin, siendo n el nmero de variables de la
funcin
Ejemplo : 6 ( 1, 3, 6, 7 ) ----- faltan los trminos 0, 2, 4, 5
3
2n-1 = 23 - 1 = 8 - 1 = 7....... 7 - 0 = 7
7-2=5
7-4=3
7-5=2

F = II ( 2, 3, 5, 7 )
3

____________________________________________________________________________________
Algebra de Boole
pg. 10

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

e)

Para convertir una expresin no cannica en cannica se procede de la siguiente


manera :
*
*

A los productos que no sean cannicos se les multiplica por la forma directa
y complementada de las variables que faltan
A las sumas que no sean cannicas se les suma el producto de la forma
directa y complementada de las variables que falten

Ejemplo : Transformar en la forma cannica minterms la siguiente ecuacin :


F=a.b.c + a + b.d
Solucin : A los productos que no sean cannicos, por faltarles algn trmino, se
les multiplica por el trmino

( a + a ), ( b + b ), (c + c ) o ( d + d ), que les falte. Por tanto, la funcin anterior


se transforma en :

F = a . b . c . ( d + d ) + a . ( b + b ) (c + c ) ( d + d ) + b . d . ( a + a ) . ( c + c )

SIMPLIFICACIN DE FUNCIONES

Existen dos procedimientos bsicos para simplificar las ecuaciones Booleanas :


*
*

5.1

Mtodo algebraico
Mtodos tabulares y grficos

Mtodo algebraico

Este mtodo consiste en ir aplicando las propiedades del lgebra de Boole hasta
conseguir la reduccin total. El criterio ms extendido consiste en obtener una
expresin de un sistema cualquiera de las dos formas ya conocidas : como sumas de
productos o como productos de sumas; de forma que tenga el menor nmero de
trminos y de variables, para obtener una expresin que realice exactamente la misma
funcin planteada en el problema.
Ejemplo : Simplificar la funcin
F=abcd+abcd+abcd+abcd

____________________________________________________________________________________
Algebra de Boole
pg. 11

http://es.scribd.com/doc/47688877/apuntes-de-automatismos
Sistemas de control secuencial
____________________________________________________________________________________

Aplicando los axiomas del lgebra de Boole, obtenemos :

abcd+abcd=abc(d+d)=abc(1)=abc

abcd+abcd=abc (d+d)=abc (1)=abc

F=abc+abc

de donde

y repitiendo el proceso anterior

abc+abc =ab(c+c)=ab (1)=ab

F=ab

5.2

Mtodos tabulares de simplificacin

Los mtodos ms empleados en la simplificacin de funciones son :


*

Tablas de Karnaugh : Se pueden utilizar para simplificar funciones de dos a


seis variables, aunque habitualmente slo se emplee para funciones de dos a
cinco variables.

Tablas de Quine-McCluskey : Se puede emplear en la simplificacin de


ecuaciones de cualquier nmero de variables, pero se suelen utilizar
solamente a partir de cinco variables

5.2.1 Tablas de Karnaugh


Es un mtodo de simplificacin de funciones sencillo y rpido de manejar. Se aconseja
no utilizarlo para ms de 4-5 variables puesto que entraa ms dificultades que ventajas
a la hora de resolverlo.
Para epigrafiar las tablas de Karnaugh se hace uso de un cdigo progresivo,
normalmente se emplea el cdigo Gray. El cdigo Gray se caracteriza porque dos
nmeros consecutivos solo se diferencian en un dgito o bit, lo que no ocurre con el
cdigo binario natural

____________________________________________________________________________________
Algebra de Boole
pg. 12

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

Decimal
0
1
2
3
4
5
6
7

Binario natural
000
001
010
011
100
101
110
111

Binario Gray
000
001
011
010
110
111
101
100

El cdigo binario natural es til para el clculo matemtico, pero no para ciertas
aplicaciones, por ejemplo para la codificacin de las informaciones procedentes de los
transductores analgicos, ya que el retraso de alguno de los bits dara lugar a una
codificacin transitoria errnea.
El cdigo Gray es continuo y cclico porque el ltimo trmino, como veremos, cumple
la progresividad con el, primero. Tambin es reflexivo porque puede generarse por
reflexin sobre un eje, siendo precisamente la propiedad reflexiva la que utilizaremos
para obtener el cdigo Gray :
Para una sola variable se tiene :

0
1
---------1
0

Haciendo girar el cdigo anterior sobre el eje "X" y aadiendo " ceros " a la izquierda
de las posiciones antiguas y " unos " a la izquierda de las reflejadas, se tiene el cdigo
para 2 variables :

0
0

0
1

----------------

1
1

0
0
0
0

1
0

Para 3 variables

0
0
1
1

0
1
1
0

0
0
0
0
0
0
0
0

--------------------------- Para 4 variables

1
1
1
1

1
1
0
0

0
1
1
0

0
0
0
0
1
1
1
1

0
0
1
1
1
1
0
0

0
1
1
0
0
1
1
0

-------------------------------

1
1
1
1
1
1
1
1

1
1
1
1
0
0
0
0

0
0
1
1
1
1
0
0

0
1
1
0
0
1
1
0

____________________________________________________________________________________
Algebra de Boole
pg. 13

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

Siguiendo con el mismo procedimiento se puede obtener el cdigo Gray para cualquier
nmero de variables
Las tablas de Karnaugh estn constituidas por una cuadrcula en forma de encasillado
cuyo nmero de casillas depende del nmero de variables que tenga la funcin a
simplificar. Cada una de las casillas representa las distintas combinaciones de las
variables que puedan existir.

ab
cd
a
b
0

ab

c
0

00

01

11

00

01

11

10

00

10

01
11

10
Para 3 variables

Para 2 variables

Para 4 variables

Cada una de las casillas que forman la tabla puede representar trminos tanto minterms
como maxterms. En la siguiente figura aparece, a modo de ejemplo, la equivalencia de
cada una de las casillas de una tabla de 4 variables expresada en trminos minterms y
maxterms

ab

00

01

11

10

00

abcd

abcd

abcd

abcd

01

abcd

abcd

abcd

abcd

11

abcd

abcd

abcd

abcd

10

abcd

abcd

abcd

abcd

cd

Trminos Minterms

____________________________________________________________________________________
Algebra de Boole
pg. 14

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

ab

00

01

11

10

00

a+b+c+d

a+b+c+d

a+b+c+d

a+b+c+d

01

a+b+c+d

a+b+c+d

a+b+c+d

a+b+c+d

11

a+b+c+d

a+b+c+d

a+b+c+d

a+b+c+d

10

a+b+c+d

a+b+c+d

a+b+c+d

a+b+c+d

cd

Trminos Maxterms
Cuando se vaya a representar una ecuacin en forma minterms, se pondr un "1" en la
casilla correspondiente a cada trmino. Por el contrario, si se representa en forma
maxterms, colocaremos un "0" en la casilla correspondiente a cada trmino.
Hay que tener en cuenta, que al representar una ecuacin Booleana, sta tiene que estar
en su forma cannica ( minterms o maxterms ) completa y, por tanto, todos los
trminos han de contener todas las variables que intervienen en la funcin
Simplificacin de ecuaciones en tablas de Karnaugh
El principio de simplificacin de las tablas se basa en una de las leyes del lgebra de
Boole.
a.b+a.b=a
Como se puede observar en la tabla anterior, todas las casillas contiguas, segn los ejes
coordenados, se caracterizan por diferenciarse slo en una variable, que se encuentra
negada en una de ellas y sin negar en la otra. Esta caracterstica, que se cumple en todas
las tablas, permite aplicar de una forma automtica la ley anterior, consiguiendo as
simplificar las casillas contiguas por sus variables comunes
El proceso de simplificacin consta de las siguientes etapas :
1 .- Se hace una tabla de 2n celdillas ( siendo n el nmero de variables de entrada ) y
se epigrafa con el cdigo Gray
2.- Se numeran los trminos de la ecuacin y este nmero de referencia se coloca en
la celdilla cuyo epigrafiado corresponda al trmino considerado. Cuando se desea
simplificar una funcin desde su tabla de verdad, no es preciso obtener
previamente la ecuacin de la funcin sin simplificar para seguidamente
representarla en la tabla y proceder a su simplificacin. En la prctica, se suele
representar la funcin, directamente desde la tabla de verdad al mapa de
Karnaugh, sin ms que ir colocando los unos o los ceros en las casillas
correspondientes a los valores que toma la funcin para cada una de las
combinaciones binarias de las variables que forman dicha funcin

____________________________________________________________________________________
Algebra de Boole
pg. 15

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

3.- Se enlazan con un bucle los grupos de 2, 4, 8, celdillas ( potencias de 2 ) ocupadas


si son adyacentes no oblicuas. Cada celdilla puede formar parte de ms de un
bucle. Se considera que los lados opuestos de la tabla se estn tocando como si su
superficie formara un toroide. Se debe procurar conseguir grupos del mximo
nmero de casillas
4.- Los trminos agrupados por los bucles son simplificables entre s y cada grupo
dar lugar a un solo trmino, que se obtiene por la regla siguiente :
Regla : Cada bucle proporciona un trmino que contiene las variables que no
invierten a lo largo de todo el dominio del bucle. Las variables epigrafiadas
con "0" llevarn la barra de inversin
Ejemplo : Simplificar la siguiente ecuacin
S=ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD
1

ab
cd

00

01

11

00

01

11

10

10

El bucle 1-2 proporciona el trmino :


ABCD

ABC

ABCD
El bucle 3-7-4-5 proporciona el trmino :
ABCD
ABCD

AC

ABCD
ABCD

____________________________________________________________________________________
Algebra de Boole
pg. 16

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

El bucle 4-6 proporciona el trmino :


BCD

ABCD
ABCD

Luego el resultado es :

S=ABC+BCD+AC

Ejemplo 2 : Dada la tabla de verdad de una funcin, obtener la ecuacin ms


simplificada

a
0
0
0
0
1
1
1
1

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

F
1
1
0
0
1
1
1
1

Un punto a tener en cuenta al simplificar una funcin Booleana desde su tabla de verdad
es si debemos representar la ecuacin bajo la forma de minterms o maxterms. La norma
prctica consiste en representar la ecuacin en la forma cannica que menos trminos
tenga en la salida de dicha tabla.
Esta norma no impide que a veces se obtengan ecuaciones ms simplificadas
representando la forma cannica que ms trminos tiene en la tabla de verdad
En este ejemplo, representaremos la forma cannica maxterms por ser la de menos
trminos en la tabla de verdad

c
0
1

ab 00

01

11

10

a+b+c

a+b+c

Siendo la simplificacin final de la funcin

(a+b)

F=a+b

____________________________________________________________________________________
Algebra de Boole
pg. 17

http://es.scribd.com/doc/47688877/apuntes-de-automatismos
Sistemas de control secuencial
____________________________________________________________________________________

Estados indiferentes
En algunos casos existen combinaciones de variables de entrada que, por razones
tecnolgicas o de programa, no se pueden producir, o bien nos encontramos con alguna
salida inhibida aunque exista la combinacin de entradas que pueda producirla
A estas combinaciones de entrada que, apareciendo en la tabla de verdad de
funcionamiento del circuito, no producen en la salida ni 0 ni 1, las denominamos
combinaciones indiferentes y se representan en la tabla de verdad mediante los smbolos
X o I. A su vez estas combinaciones indiferentes dan lugar a trminos indiferentes, que
pueden ser representados en las tablas de Karnaugh y se los puede considerar bien
como 0 o como 1, segn convenga para la simplificacin
Ejemplo : Simplificar por Karnaugh la funcin definida en la siguiente tabla de verdad

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

X
1
0
1
0
1
0
X

Si analizamos la tabla, comprobamos que el nmero de trminos minterms es igual al


nmero de trminos maxterms. En estos casos debe intentar simplificarse por ambos
tipos de ecuaciones y decidir cual de los resultados es el ms simplificado.

ab 00

01

11

10

c
0

abc

abc

01

11

10

a+b+c

abc
abc

ab 00

a+b+c
c
a+b+c

a+b+c

____________________________________________________________________________________
Algebra de Boole
pg. 18

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

Azares o " Aleas tecnolgicas "


Tericamente la expresin F = A + A = 1 es totalmente cierta, pero en la prctica,
debido a las caractersticas de los elementos utilizados en la conmutacin, se puede
producir un estado transitorio, conocido por azar o " alea tecnolgica ", durante el cual
F=A+A=0
Veamos un ejemplo :
Si materializamos con contactos la funcin F = A + A , resulta el circuito siguiente :
A
1

Puede verse que, al conmutar A, antes de cerrarse el contacto 2 se abre el contacto 1;


por tanto, existe un pequeo intervalo de tiempo durante la conmutacin en el que
F=A+A=0
La duracin de este transitorio es del orden de milisegundos en los contactores
elctricos y del orden de nanosegundos en los elementos electrnicos.
Si el receptor es de respuesta lenta no acusar este fenmeno, sin embargo, el citado
transitorio puede ocasionar el disparo no deseado de un biestable, un contactor, etc.
dando lugar a una maniobra no prevista en el diseo.
La forma de eliminar los azares al simplificar una funcin por las tablas de Karnaugh,
es aadir a los trminos obtenidos de los bucles normales, otros trminos derivados de
nuevos bucles que solapen las celdillas adyacentes pertenecientes a bucles normales
distintos. Otra solucin si el circuito se materializa con puertas lgicas consiste en
poner un condensador entre la salida del circuito y masa para filtrar los impulsos
transitorios.
Asimismo, existen sensores electromecnicos ( como pulsadores ) que cierran el
contacto abierto antes de abrirse el contacto cerrado.
En expresiones del tipo A A = 0 tambin cierta, tericamente, se puede presentar un
fenmeno anlogo y su solucin es semejante

____________________________________________________________________________________
Algebra de Boole
pg. 19

http://es.scribd.com/doc/47688877/apuntes-de-automatismos
Sistemas de control secuencial
____________________________________________________________________________________

5.2.2 Tablas de Quine-McCluskey

Cuando las ecuaciones tienen 5 o ms variables es complicado utilizar las tablas de


Karnaugh, siendo el mtodo de Quine-McCluskey el ms idneo. Consiste este mtodo
en ordenar segn el nmero de "1" que tengan las combinaciones de variables que
cumplen la ecuacin. A continuacin se buscan las combinaciones que comparadas con
los grupos adyacentes, con un "1" ms o menos, difieran solo en una variable, que en
una combinacin estar negada y en la otra sin negar, eliminndose la misma. La
funcin Booleana a simplificar ha de venir expresada bajo la forma minterms.
El proceso de simplificacin de ecuaciones se lleva a cabo a travs de una serie de
operaciones, obtenindose las siguientes tablas :
Tabla de agrupamientos base
Tabla de agrupamientos de orden : primero, segundo, tercero, etc.
Tabla reductora final
Para poder comprender el proceso de reduccin, veamos un ejemplo. Supongamos que
se desea simplificar la ecuacin ( representada en este caso en forma algebraica ) :

X = ABC + ACD + ABCD + ACD

1 Fase.-

Todos los trminos de la ecuacin lgica han de contener todas las variables
( es decir la ecuacin debe representarse en su forma cannica ). Los
trminos que carezcan de alguna variable, sta se incluye realizando la
operacin AND del trmino por la variable directa ms la variable negada,
teniendo en cuenta que
(U+U)=1
Al aplicar esta regla en nuestro ejemplo, se obtiene :

X = ABC ( D+D ) + ACD ( B+B ) + ABCD + ACD ( B+B )

X = ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD

____________________________________________________________________________________
Algebra de Boole
pg. 20

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

2 Fase :
Se determina el " ndice " de cada trmino, siendo dicho ndice el nmero
de variables sin negar, o de valor "1", que contenga el trmino. As por ejemplo, el
primer trmino
ABCD
( 0101 ) tiene de ndice 2 y le corresponde el valor decimal de 5,
obtenindose por este procedimiento la tabla de agrupamientos base, que
representaremos ordenada de menor a mayor por su ndice

3 Fase :

Trmino

Estado de las
Variables

Valor decimal

ndice

ABCD

0100

ABCD

0011

ABCD

0101

ABCD

0110

ABCD

0111

ABCD

1011

11

ABCD

1111

15

Se forma una segunda tabla de agrupamientos de primer orden. Esta tabla


se obtiene combinando los trminos expresados en la tabla de
agrupamientos base, siguiendo la siguiente regla : " Los trminos a
combinar no difieren entre s, ms que en el estado de una de las variables,
la cual ser sustituida por un guin "
Trminos combinados
( valor decimal )
( 4, 5 )
( 4, 6 )
( 5, 7 )
( 3, 7 )
( 3, 11 )
( 6, 7 )
( 7, 15 )
( 11, 15 )

Combinacin
01001-0
01-1
0-11
-011
011-111
1-11

ndice

____________________________________________________________________________________
Algebra de Boole
pg. 21

Sistemas de control secuencial


http://es.scribd.com/doc/47688877/apuntes-de-automatismos
____________________________________________________________________________________

4 Fase :

Se forma una nueva tabla de agrupamientos de segundo orden. Las nuevas


combinaciones dispondrn por lo tanto de dos guiones, uno correspondiente
a la lista anterior ms el de la nueva variable que cambia de estado en la
nueva tabla. Cuando en una tabla aparecen trminos repetidos, se pueden
eliminar, si bien, conservando siempre su procedencia

Trminos combinados
( valor decimal )
( 4, 5 ) , ( 6, 7 )
( 4, 6 ) , ( 5, 7 )
( 3, 7 ) , ( 11, 15 )
( 3, 11 ) , ( 7, 15 )

Combinacin
01-01-- ( Se elimina )
--11
--11 ( Se elimina )

ndice

1
2

El proceso de reduccin debe realizarse hasta que no sea posible realizar


ms agrupamientos; obtenindose en ese momento la tabla reductora final

5 Fase :

Se forma la tabla reductora final con los agrupamientos de orden superior


realizados. Si con ellos no estn cubiertos todos los trminos de la tabla de
agrupamientos base, se aadirn agrupamientos del orden inmediatamente
inferior, y as sucesivamente, hasta que estn cubiertos todos los trminos

A B C D
0 1 - - - 1 1

4 5 6 7 11 15
X X X X
X
X X X

La ecuacin simplificada se forma mediante la suma lgica de los trminos


no eliminados, empleando el convenio de las ecuaciones minterms ( 0 =
variable negada y 1 = variable sin negar ), de manera que todos los trminos
de la tabla de agrupamientos base estn incluidos. Por tanto, en nuestro caso
la ecuacin final es :
X = AB + CD

____________________________________________________________________________________
Algebra de Boole
pg. 22