Professional Documents
Culture Documents
' ( : ﺳﺮي ﺳﻮال * : ﺗﺸﺮﻳﺤﻲ+* : ﺗﺴﺘﻲ: (زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ * : *) ﺗﺸﺮﻳﺤﻲ: ﺗﺴﺘﻲ: ﺗﻌﺪاد ﺳﻮاﻻت
B$ ; CD CEF %& "%! G$H # IJ: 1. $ K&L M -1
.
.
.
. '
(& ) "
#$ ! . ! . '
+, -(
.
( / 0. 1 20103 . ! ( ) * ! .
B %E7 $ T VW- 6 U E> - P$F Q ( ; ; K A ST -3
(45 6(7 .
(45 6(7 / . '
9:05 >903
> 2? >(5 >
>
(45 6(7 0 . '
. !
CD 2(E
" 0F(! 8!
G0H3 .
B [T\ &4 1.- A ;F . O. &=J 6&- Q ( (<L QI QUL -5
( ' : ﺳﺮي ﺳﻮال * : ﺗﺸﺮﻳﺤﻲ+* : ﺗﺴﺘﻲ: (زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ * : *) ﺗﺸﺮﻳﺤﻲ: ﺗﺴﺘﻲ: ﺗﻌﺪاد ﺳﻮاﻻت
B b&=F QP _ ^_ `Y a$ < ;! ST $ C 6&- ;/ $ U6 7 -6
< f$ Q $=K $ ;# g Rc.! g C4. h #).$ ;=6 ;`Y cdH ! Q # e. -7
B(.!
c
3 29) 12d ! . e G$ .
.H 7 $ %F j .&7 R U VW- 6 E> (QT ;i) QT P$F ; $ -8
! h . ! h . ! fg . ! . '
R%6 l% j R1.P m C% V\ &! .P ;$ - . "=>4 !4 R K%&U &! ;%i=>F $ 4 -9
., 9`
6( 3 $ @( i9 . '
., -9 i9 .
.3( i9
#( A j<9 3 >a ;( j<9 b .3 .
.6: " +
k.3 b
9103 l +, i( +
2(E"
(b , j<9 a ;( .
B Q dL 7 $ ;$n C.%L o< ;%i=>F R# SL h=04 p $ -10
dL ! $ .'
..L [d e $ .P &! dL $ .A
..L !&= bH6 $%= 0 :L .)
..L =4$ ε # 1.P ! &! .q
.%L CV= [d O ;%i=>F #
/F ! $ .8
.%L CV= I< ;%i=>F #
/F ! $ .?
f . . . .'
( ' : ﺳﺮي ﺳﻮال * : ﺗﺸﺮﻳﺤﻲ+* : ﺗﺴﺘﻲ: (زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ * : *) ﺗﺸﺮﻳﺤﻲ: ﺗﺴﺘﻲ: ﺗﻌﺪاد ﺳﻮاﻻت
dL ! $ .'
..L [d e $ .P &! dL $ .A
..L !&= bH6 $%= 0 :L .)
..L =4$ ε # 1.P ! &! .q
.%L CV= [d O ;%i=>F #
/F ! $ .8
.%L CV= I< ;%i=>F #
/F ! $ .?
B.&=>! `Y r= /m # .H 7 $ %F $ j .&7 RE> . ; K P $F s> $ -12
i o!
, 3 A n
. 2(E ;0H! A n
.
B ^& "# v 1.- (=w "$ # t s> Q ; -14
A
B 60.p!
" "
(b! .
;0#0 . 9: !
B:
" "
(b! .
;0#0 . '
"
(b! 6
Gq ` oi . .22/ (
#(( / ("
(b! 6 .
.
(..&=>! HdP /dT)B.LJ c6=- QP hU< # ;! ST # (.- SK ;%i=>F S% -15
ﺳﺮي ﺳﻮال ( ' : زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ( :ﺗﺴﺘﻲ +* :ﺗﺸﺮﻳﺤﻲ * : ﺗﻌﺪاد ﺳﻮاﻻت :ﺗﺴﺘﻲ )* :ﺗﺸﺮﻳﺤﻲ * :
' ." t
9 6: +
/ cu, (E0` B3 / A +
2
.
." t
9 ,3
9(E _" 3 / A +
.
." t
9 6: ;9`( t
9
C92 vw b 8 A +
.
." t
9 xB: ;(
9/ 3 +
.
M%L > h $7 Q ;m y$ $ .L # K$ $% I< ;%i=>F "$ $ ;! C4 $ ^ 4 -18
$
? . $
: . $
! . ' $
@( .
( ' : ﺳﺮي ﺳﻮال * : ﺗﺸﺮﻳﺤﻲ+* : ﺗﺴﺘﻲ: (زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ * : *) ﺗﺸﺮﻳﺤﻲ: ﺗﺴﺘﻲ: ﺗﻌﺪاد ﺳﻮاﻻت
!g= :=U) B# C$m $ Alldiff .T .% &4 1.- (k F$ ;/=.T $) -19
.
D 4 = {3} , D 3 = {1} , D 2 = {1,3,5} , D1 = {1,3}
.
D 4 = {3,5} , D 3 = {1,5} , D 2 = {3, 4} , D1 = {1,3}
.
D 4 = {1,3,5} , D 3 = {1,3,5} , D 2 = {1,3,5} , D1 = {1,3,5}
# 0> V q** IP $- .L V )** A** W-. ^ 0> 0F701 F700 ;!#Y $ 4 -20
B 1.- #Y ! & R- $6= # .H R.&- CV= .!% #Y h
b
( m ) 6: ( 2?
. ( m( bm)6: B~ . '
(m!d) G(9d` . m
( b ) 6: (
.
ﺳﺮي ﺳﻮال ( ' : زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ( :ﺗﺴﺘﻲ +* :ﺗﺸﺮﻳﺤﻲ * : ﺗﻌﺪاد ﺳﻮاﻻت :ﺗﺴﺘﻲ )* :ﺗﺸﺮﻳﺤﻲ * :
.!%K p $ ; $ ;$.I 7 Minimax "$ R.L Min ;&H ∇ Max &H ∆ n& l0 -22
B 04
'(. $ &/
- c` 1. &< %= 4
.OH &P
- # U c`(A
)(.%i=>F
K$ $ hY o< ! C4 $
B%L bi .% $% 1.- TT5Entail M=$%Ej S% R# =$ O.F F% -24
?( P2 (8 P1 ∧ ¬P3 (q P2 ⇒ P1 )( ¬P3 ( A '( P1
P1 ⇒ P2
( ' : ﺳﺮي ﺳﻮال * : ﺗﺸﺮﻳﺤﻲ+* : ﺗﺴﺘﻲ: (زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ * : *) ﺗﺸﺮﻳﺤﻲ: ﺗﺴﺘﻲ: ﺗﻌﺪاد ﺳﻮاﻻت
P1 ⇒ P2 . P2 ⇒ P1 . ¬P3 . P1 .'
(satisfiable)
(45 p . (Valid)
)9. . '
(Invalid)
)9. . unsatisfiable
(45 p .
B%L < Q\ ..F .& 1.- R# ;!.& # .& Q ( # -27
1) ¬E ∨ G ∨ H
2) E ∨ ¬ F
3) ¬G ∨ ¬F ∨ ¬H
H . G . F . E .'
( ' : ﺳﺮي ﺳﻮال * : ﺗﺸﺮﻳﺤﻲ+* : ﺗﺴﺘﻲ: (زﻣﺎن آزﻣﻮن )دﻗﻴﻘﻪ * : *) ﺗﺸﺮﻳﺤﻲ: ﺗﺴﺘﻲ: ﺗﻌﺪاد ﺳﻮاﻻت
. .& # ;!.& # e. R.L G=True F=True E=False ;$ O. 4 RDPLL M=$%Ej $ -29
B
(unit_clause)
1) ¬E ∨ G ∨ H
2) E ∨ ¬ F
3) ¬G ∨ ¬F ∨ ¬H
! . . . f .'
u I D,C )B QI $J (Most General Unifier) # >n h %< ! &4 # e. -30
Rel(z,C,D,F(x)) RRel(P(y,y),y,z,x)
. اﻳﻦ ﻋﺒﺎرات ﻗﺎﺑﻞ ﻳﻜﺴﺎن ﺳﺎزي ﻧﻴﺴﺘﻨﺪ. {y/C, x/D, z/P(C, C)} .
الف 1
د 2
ج 3
الف 4
د 5
ج 6
ج 7
الف 8
الف 9
ب 10
د 11
الف 12
د 13
ج 14
ج 15
الف 16
ج 17
ج 18
ج 19
الف 20
الف 21
د 22
ج 23
الف 24
د 25
الف 26
د 27
ب 28
د 29
د 30