🚀 go-pugleaf

$@8@MU;H$$$K5$$rIU$1$F$$$k3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <1992Nov2.074326.17262@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
 |In article <RYU.92Nov2131119@sysipk.sys.titech.ac.jp> ryu@sys.titech.ac.jp (ryu) writes:
 |>$@$=$l$H!"(J{0,1}$@$r(JV^($@&8(J) $@$KKd$a9~$s$@$i!"$=$j$c$"!"ItJ,=89g$OL58B$K$"$j$d(J
 |>$@$7$^$;$s$+!)!J#4$D$8$c(J$@$J$/$F!K(J
 |
 |  $@;d$b:.Mp$7$?5-;v$r=q$$$F$7$^$C$?$h$&$G$9!#L58B$K$"$k$H$$$&N)>l$J$N$G(J
 |$@$9$M!#(J

$@$$$d!"(J$@$=$&$G$O$J$/$F$G$9$M!"(J

{0,1}$@$rIaDL$N8xM}E*=89gO@$G9M$($k$H#2$K$J$j$^$9$h$M!#(J
$@$b$C$H$7$D$3$/8@$&$H(J{$@&5(J,{$@&5(J}}$@$G$9$h$M!#$=$l$NKd$a9~$_J}$O(J43$@%Z!<%8$K=q(J
$@$$$F$"$j$^$9$h$M!#$=$3$G(JV^($@&8(J)$@$N&8(J({0,1}=$@&8$N&8$G$O$J$$(J)$@$rL58B$N%*!<%W(J
$@%s%;%C%H$r;}$D%H%]%m%8!<%9%Z!<%9$J$s$F$$$&$U$&$K$9$k$H!"(J[a \in 2] = 0 
$@$H$J$i$J$$(JV^($@&8(J)$@$NMWAG$OL58B$K$"$j$c$7$^$;$s$+!"$C$F$$$&0UL#$J$s$G$9!#(J

$@$G$b!"@P86$5$s$N@bL@$O$=$&$$$&OC$7$G$O$J$$$h(J$@$&$G$9$,!#(J

 |>not(A) or not(not(A)) $@$H(J A or not(A) $@$O0c$&$b$N$G$O$J$+$C$?$s$G$9$+!)(J
 |
 |  $@0c$&$H$$$&(J$@$N$,D>4Q<g5A$NN)>l$J$N$G$9$M!#$G!"$3$N5?LdId$O2?$r$*J9$-$K(J
 |$@$J$j$?$$$N$G$7$g$&!#(J

$@D>4Q<g5A$G$O(J not(not(A)) -> A $@$,F3$1$^$;$s!#$=$lL5$7$G!"(J
not(A) or not(not(A)) -> A or not(A) $@!JJX59>e(J[1]$@$H$7$^$9!K(J
$@$rF3(J$@$/$3$H$,$G$-$?$C$1!)(J
$@$H!"$$$&5?Ld$G$9!#(J

[1] $@$,$$$($J$$$N$J$i$P!"(Jnot(A) or not(not(A)) $@$,0lHL$K=P$F$-(J$@$?$H$7$F$b(J
$@JL$K:$$i$J$$$+$i$G$9!#(J

 |  $@$7$+$7!"$*$=$i$/(JBrower$@$H$$$&?M$O;d$H$OH?BP$K!"D>4Q<g5A!V$r!W8&(J$@5f$7$F(J
 |$@$$$k$3$NK\$N$3$H$rCN$C$?$i!"7cE\$9$k$s$8$c$J$$$+$J$"!#$H!"$U$H;W$$$^$7(J
 |$@$?!#$G$O$G$O!#(J

$@$=$l(J$@$O$$$($^$9$M!#(J
$@!V$3$NK\!W$OK\Ev$ND>4Q<g5A$NJ}!J@P86$5$s!)!K$+$i8+$?$i!"2?$8$c%3%j%c!"$C(J
$@$F$$$&$b$s$@$H(J$@;W$$$^$9!#(J

$@!t$G$b!";d$OLLGr$$$H;W$$$^$9$,!#(J