next up previous contents
$B $BH=CG>r7oIT;HMQ$N>p=o?dDj7k2L$NNc(B $B>e$X(B: $B $BLa$k(B: $B   $BL\

$BH=CG>r7o;HMQ;~$N>p=o?dDj7k2L$NNc(B

$BH=CG>r7o;HMQ;~$N!VA*]$rM?$($k!W$N>p=o?dDj$NN.$l$r<($9!%(B


step1$B!'(B
$B:n@.J8$H7k9g2A%Q%?!<%s<-=q$r>H9g(B
$BF~NOJ8!'(B
$B!VA*]$rM?$($k!J@52r!'!T9%$^$7$$!U!K!W(B
$B%^%C%A$7$?7k9g2A%Q%?!<%s(B
$B!V(B$N$1$B$,(B$N$2$B$K(B$N$3$B$rM?$($k!W(B

                         (1)$B!V?4M}!&6a!W$N%l%3!<%I(B
\begin{figure}\footnotesize \centering \begin{tabular}{l} \hline $B!v7k9g2A%Q!&(B... ...$B~D%_%;%s!#%!(B$N$3\\ $B!#v>p=oL>!'!T9%$^$7$$!U\(B\ \hline \end{tabular} \end{figure}


                         (2)$B!V?4M}!&N%!W$N%l%3!<%I(B

\begin{figure}\footnotesize \centering \begin{tabular}{l} \hline $B!v7k9g2A%Q(B... ...$Bv>p=oBP>]!'$(BN$3\\ $B!v>p=oL>!'!T7y$@!U(B\\ \hline \end{tabular} \end{figure}


step2$B!'(B
$B0z?t$K6qBNE*$J3JMWAG$,BeF~$5$l$?H=CG>r7o$rF@$k!%(B
(1)
$B?4M}!&6a!J%9%+%&%H!$9%0u>]!K(B
(2)
$B?4M}!&N%!J%9%+%&%H!$9%0u>]!K(B

step3$B!'(B
$BH=CG>r7o$N@.N)$r?M
\begin{figure}\centering \begin{tabular}{\vert c\vert\vert c\vert c\vert} \hline... ...} \\ \hline $B%M%9%F%L%;r7o$N??5(B& True & False \\ \hline \end{tabular}\end{figure}

step4$B!'(B
$B>p=o?dDj7k2L(B
(1)
$BH=CG>r7o!V?4M}!&N%!W$,56$N$?$a!$!T7y$@!U$N=PNO$rM^@)$9$k!%(B
(2)
$BH=CG>r7o!V?4M}!&6a!W$,??$N$?$a!$!T9%$^$7$$!U$r=PNO$9$k!%(B
step5$B!'(B
$B@52r%G!<%?$H>H9g(B
$B=PNO!'!T9%$^$7$$!U$O!$@52r!'!T9%$^$7$$!U$H0lCW$9$k$N$G!$0lCW?t!&F10U?t(B
$B$r%+%&%s%H$9$k!%(B


$BJ?@.(B23$BG/(B3$B7n(B2$BF|(B