Tải bản đầy đủ (.pdf) (109 trang)

Giáo án - Bài giảng: GIÁO TRÌNH LẬP TRÌNH LOGIC

Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (1.26 MB, 109 trang )



  

 
    
    
   

   
    !  "#$ %&
' ( )* + 
' ( )* ! 
  , !   
' ! , /
' , 0./


   
 12 3 +  4+5 4 6
5 7   89  6 :;
 < =$ 4+5 >+?$ @25 ABA5
C ;
   +  D A$$;

!"#
 EF  4+
 G H = < ? I
  )J K ? 2L2  <9 
 6M2 G5 M2 N
 O O ? 2P QR


 S '  ?F 2

$
%&
T: <9  @
'
%& 
    U +12 3 )1 
' 12 3 @ + "@2?$&
V P W "2$=+&
V 6F Q9 M ")X$&
' 12 3  ) "=$+?$&
V 
V 6@ "Y+&

(
  
 4+ Z @@  
 ([\C, Q] #G )^ _+ +@$$  
 T<$++$
 ([`.,  +@  U 2 J  
+a ?!
' b  I 
' #U +  U ! D
 Ec QI5 4+ d QM 2 J  +12
3 )^  ): "< 2@@&
)
*+ , - . 
  U  =R
  U )D =R

  e 2L2 
 6M2 G "Y&
  e )  W
  e ?d +f2
  g
  e G H Q] 
 8 + "&
 a  )
 a P W
$
/
0" 12 + 
 h 3 4+ Z 12 M2 
  "+<$&
' D + @ Q] 6, )J =i <!
  <! ? QH   QH
 T Q] QM #I =! j   
"2$=$&
' SR j, 2 )J ?] @: Q9 M e  R
I + QH f <
3
0" 12 + 
 h 3 4+ Z  Q9 M =U +
? g  U  Q9 M =U +
  "$@& QM #$@ + Q9 M =U +
 6 ? g  U    
@ Q]
 6 k@,
' 6 <h G2 "$+$@$ $@&  
' 6 2K M2 "@2= $@& + @:  

"Y& e K  Q95 e =,
V Dl@lm"Q9(5 Q9C5 n&
V Sb =W, 
'

*4 , 
 f U  f2   op ? po
' Sb =W
oppppppppppppppppppppppppppppppppo
opp H b  4+ ppo
 H b O, =q   /
' Sb =W
/////////////
/ H b  4+

*+ 5 #6  17-
 6r
' 6r <9, <9 !  <9 D
V Sb =W, ( 5 (5 (;s5 t.;u
' 6r +, $ ? Y+
' 6r v b !, Qf U  =G  L2
V Sb =W, w #xy5 wzyy5 wy
' 6r D m, v b ! "U 5 <9 ? {l|&
)O Qc )r U  
V Sb =W, =5 =
(

*+ 5 #6  17-
 
' v b ! "U 5 <9 ? {l|& )O Qc )r U 


' TN b G P @: + Q9 M  Qe
'  ?G  9 4+ )r I }
' Sb =W
V 75 ~5 •
V $lg
'  ?= "@< ?)+$&, 

89  : 
 h 3 4+ + 12 M2  
 "$?$& ?  "+$& #m +b ? @N
g  U  Q9 M;
)
$
89 
 T: <!  + @: € QR @: ! J
e @: f @: ? b G
 Sb =W,
 !


!"#
"$
%&
!
'
'!
'
89 
 8 F,

' ()
e b G 
*++,)  -
' ().
 +  Q9 ?F 
!*++,) '/ '0 10!
/
(
89 
 ()%2)
' ( + D P b G5 @: b 
' )%2) +  Q9,
V D m "@5 <@)+&
V •9 "@)$&
V  "?)+$&
V G H 2K M2
' I5 = <5 v5 n
 ‚   U @ "<25 •$@$&5 J O
+] ?F Q9 M5 K  O +] ?F ),
'  e  ) J
' e  ?R j J@  J
)

 T: +1 + QR a @: g  =! ?
 g  ;
 Sb =W,
' 3).4+ .)
) + ?M P .  . + k P )
'  5674+ '76 6
6 + @ƒ P 7  7 +  P 6 ? 6 + 2W U

' 35874+ '788
8 +  P 7  7 +  P 8 ? 8 + Q 
 j wy QM ? w,ty  4+
3
/

   h )N U +1 ? <! 
' •!  + € QR + + QH5  e
Q]   ):
' 1 +D g Q  : b „ QM }
@…  @: <9 Q]   Qe QM } @…
 1 k@ C 2c,
' 4c )D  „  5 QM  + 9 "$=&
P +1
' 4c )D 2N „  5 QM  + :
")=& P +1;  e ] Q]  3 H
QM   )^ =G 2†;
3

 Sb =W * QJ <m =W  D Q] <,
1; '< = >?  '
@ '5 >?
' S )r 4+,
 5A4+ A *
 '5 * 


0 ;<
 T: g  e J QM QR a )^
] <!  ? +1;

 T: @ Q] "+<$& +,
' f @: <! ,
(
' f @: +1,
(4+ (%2(
' (? (%5 n5 ( +  @ m e =,
‡ 5%25B

0 ;<
 CD   "2$ Y +<$&, + 12 M2
 @ Q] e q D  m b
"q D5 q <9 @ Q9&
 Sb =W,
55AE4+ 3AE
55AE4+ 3EA
6f,
55AE4+ AE
55AE4+ EA


8= #>?@  ;<
  ) +    @v @ Q]; a +  ) A
#G   @ Q]  5 3 <% h K ?F  )
2I );
  #G   @: @ Q] QM  +   ;
' Sb =W,
FGG'A4+ H5AE
QM Q +,
' IJ = A ? E5  A +   @ƒ P E 3 A e @: 
;

' IJ = A5 A e @:    k  @: ~ <  A + 
 @ƒ P ~
  „ #G  @: +c  @ Q] 3  c Qf D
 e5 ) Qe QM  +   "@<
?)+$&5 b  + wly;
' Sb =W,
FGG'A4+ H5AG

 ; AB
  +1 e J QM QR a @:  Q g;
 Sb =W,
' H  Q… e g  'AE5 a + 7 +  P ~;
I 5 H  QR a g     1 =
"=$<$=&  <,
V A + 1 = P E  A +  P E;
V A + 1 = P E  A +  P K ? K + 1 = P E;
' TN )r 4+,
'AE4+ 'AE
'AE4+
'AK
'KE

$
 ; AB
  12,  g    @ƒ "2$&
QM QR a  <,
H5
H5!
H5
H5

H5!
H5 '
' 6… #I =! g  * D "$<& )r
 <m =W g  H5;
'
 ; AB
 8  * D QM QR a  <,
V A + * D P E  A +   @ƒ P E;
V A + * D P E  A +   @ƒ P K ?
K + * D P E;
' TN )r 4+,
' 5AE4+ H5AE
' 5AE4+
H5AK
' 5KE

(
C,
 T: h 3 4+ + @: h <^ =U +
"k@  <!  ?  +1&; H  <m
=W h 3 )r  Qf  I }
  L' "+&;
 T: I }  @: Qb QM ?  <,
M+ (

M+ (%2(
)
C,
 Sb =W
M+  !

E
M+  !
B
M+ A!
AN
E
M+ E
EN!
E
$
/
C,
 Sb =W
M+ A
ANO
AN
E
M+ A55AE
AN
EN!
E
M+  E55GE
EN!
E
 < D  E
F@ G ;,
 -  6> 6 ;H I J
A D ;@ J. K1= #>
?@ :#
3

C,
 T: Qb =q QJ,
' !" @: Q9 M e @: ? b
G  Qe  @: 12 M2  Q9 M
e g  ?F ;
M+ 
' "   R ˆ @… @: b G 
Qe;   R  QM    );
M+ A
'

L 
 PQ R R F S 'T
 7D D  R R F U
 VR F U  R F S W
 VR F S W X S W
 VR F S 'T X S 'T
 VR F S W S 'Y' R F S 'T
 VR F S W F R F S 'T  Z >J'
 6R R F Q [ 'Y  D Z  \' 'Y  D S
I }, e Q: ?1  =U  ? e D W  3 ‰
7 QR  <!  ? +1;

L 
 GG' 
 GG'  
 GGA4+  GGA
A4+  GGA
A' 4+  GG' A
AE4+  GGA GG' E

 A '4+  GG' A
 A '4+  GGA
GAE4+  AE
GAE4+ AE
(

L 
 I },
M+  GGAGAE
AN'  
EN ' O
AN'  
EN O
AN'  
EN

MB
 8 + ")5 )&
 

'
 




 


 

*4 :N ODB#9  PQ1QQR
)
$
*DBG 
 7$@ #L  @ Q] <,
5AE4+ 'A(
'E(
 A
]NAE*AY' E
 &;
' 
'
' 
'
M+ 58
'
*DBG 











 







 






 




 






 







 
/
(
*DBG 
  ?b =W D5 H  3@ G  I N +
9   QM !  )^   Q
  " ? @ƒ&;
 J  Q] Qe5 H  e J ?,
5AE4+  56A358A
 56E358E
 A
]NAE
 &;
 5 
 5
35 
35
M+ 5(
#$ %&  & '( )*
)
*DBG 



 !
 !









   
!


!





!


3
/
*DBG 
 I M2 N QM #I =! $ ] <I
F,
'  @ Q] QM m 2 =W  K ! @
e QM ?5
'  ?R j  @: Qb f  @: @ Q]
QM J@  j  < 2N;
 c 2N b Q K !   ? 
@ Q];
3

 9 +  ;<
 Sb =W
' 5%AE4+ H5AE *^ \' 
' 5%AE4+ H5AK' 5%KE *'
  Q* K !
* Y _  
' 5$AE4+ H5AK' 5$KE*'
' 5$AE4+ H5AE *^ \' 
* Y _ 'Y' L' '0   ` 
' 5aAE4+ H5AE *^ \' 
' 5aAE4+ ' 5aKEH5AK*'
* Y _ 'Y'   F 'Y' L'
' 5"AE4+ ' 5"KEH5AK*'
' 5"AE4+ H5AE *^ \' 


 9 +  ;<
  gN
H5
H5
M+ ' 5%
E
M+ ' 5$
E
M+ ' 5a
E
M+ ' 5"
bccdc4d 3 ''
    
   


 9 +  ;<
 • < I M2 N
' ' 5% G ) @: +c ? 3@  + N
' ' 5$ G ) ] +c ? 3@  + N
' ' 5a G ) @: +c ? 3@  + N
' ' 5"h ? ?d +f2 ? ?  3@ 
+ N
 SF Qb D 3  2I ) QM 
gN P ' 5% ? ' 5a


 9 +  ;<
  D ?F Qb,
M+ ' 5%)
)NO
)NO
B
M+ ' 5$)
)NO
)NO
B
M+ ' 5a)
)NO
)NO
bccdc4d 3 ''
M+ ' 5")
bccdc4d 3 ''

 9 +  ;<

 6 gN P  2D )N
' EN@ =c, ' 5%5 ' 5$5 ' 5a5
' 5"
 K !  @ Q],
'   M2 Qf ) c 2N #G  F
  M2 5
' 9 ?F Q g5   M2 =j 2N #G
 F  +  Q g;

$
*-4#1+
: DB
J =i G H = <
b G h )N
 ?R j #m + = <
•O2 #2 = <
Š =W
'
*- 4 # 1+
 ‹ < + J =U + 2* )
 ‹ < + @: =… )G Œ  Q9 M5
e K !5  Q9 M e J +f2 +
   2K M2 "@2= $@<& P
4+ QM  +  G H "<$<&
 Sb =W,
•5 )5 5 Ž
•5 ?5 5 Ž

(
L5 #S - 4 # 1+

 4+ <m =W @ m w;y QJ )J =i
= <
' ‹…  2c m •$(5 $C5 n5 $•  =
<  2c m, ;"$(5 ;"$C5 ;"n&&&
' Sb =W
V ‹…  ) 75 ~  = < ;"75 ~&
V ‹… •)5 $‘<22$5 @x$•
 = < ;")5 ;"$‘<22$5 @x$&&
)
L5 #S - 4 # 1+
 J  <! @12 @5  2c m P =
< QM Qf U f2 @e ? w•Žy;
' Sb =W, •)5 $‘<22$5 @x$Ž
 w•Žy  QM <m =W QJ Q =G 
H = <
' T:  ˆ h = <  ?b =W F
QM ?  <,
;")5 ;"$‘<22$5 ;"@x$5 •Ž&&&
 •Ž + = < v;
$
/
L5 #S - 4 # 1+
 T G H  4+ QM )J
=i = I
' ‹ < ‚ QM )J =i = I
 Sb =W
T
T
U V
?

QW1Q
XQ
YZ
T
T
$3
L5 #S - 4 # 1+
  )J =i 
' ‹ <, •4 ’ 8Ž
' ‹ )3 , ;"45 8&
' ‹ I
  12, QR a  @ ? h
!    U @ "<25 •$@$&
 M
T

×