
$BO@M}2sO)(B

$BO@M}2sO)(B (Text p.54, 4.4 $B@a(B)
$B%9%$%C%A5!G=(B : $BEEN.$N(B On/Off $B$r9T$&;EAH$_(B ( $BA}I}AuCV$G<B8=2DG=(B )
$B%9%$%C%A(B(On/Off)$B$HO@M}(B($B??(B/$B56(B)$B$H(B0/1
On : $BEEN.$,N.$l$k(B => $B??(B [1]
Off : $BEEN.$,N.$l$J$$(B => $B56(B [0]
$B%9%$%C%A$H2sO)$K$h$C$F!"O@M}1i;;$N5!G=$r<B8=$G$-$k(B
$BJ#?t$N%9%$%C%A(B($BO@M}CM(B)$B$KBP$7$F!"A4BN$H$7$F$NO@M}CM$rDj$a$k;EAH$_(B
$BO@M}1i;;(B
$BO@M}OB(B (OR) : P | Q -> P $B$H(B Q $B$N$I$A$i$+0lJ}$,(B On $B$J$i(B On$B!"$=$l0J30$O(B Off
$BO@M}@Q(B (AND) : P & Q -> P $B$H(B Q $B$NN>J}$,(B On $B$J$i(B On$B!"$=$l0J30$O(B Off
$BH]Dj(B (NOT) : ~ P : P $B$,(B Off $B$J$i(B On$B!"$=$l0J30$O(B Off
$B%O!<%U2C;;4o(B : $BO@M}1i;;2sO)$NAH$_9g$;$G!"(B1 $B7eF1;N$NB-$7;;$,<B8=2DG=(B
$B%O!<%U2C;;4o$rAH$_9g$;$k;v$K$h$j!"J#?t(B bit $B$N?t$N2C;;$,2DG=$K$J$k(B

