論理演算
logical operation
AND: 論理積: $ \land
code:tex
\begin{array}{c|cc}
\mathrm{AND}
& 0 & 1\\
\hline
0 & 0 & 0\\
1 & 0 & 1\\
\end{array}
OR: 論理和: $ \lor
code:tex
\begin{array}{c|cc}
\mathrm{OR}
& 0 & 1\\
\hline
0 & 0 & 1\\
1 & 1 & 1\\
\end{array}
NOT: 否定: $ \lnot
XOR: 排他的論理和: $ \veebar
code:tex
\begin{array}{c|cc}
\mathrm{XOR}
& 0 & 1\\
\hline
0 & 0 & 1\\
1 & 1 & 0\\
\end{array}
NAND: 否定論理積: $ \barwedge
code:tex
\begin{array}{c|cc}
\mathrm{NAND}
& 0 & 1\\
\hline
0 & 1 & 1\\
1 & 1 & 0\\
\end{array}
NOR: 否定論理和: ⊽
code:tex
\begin{array}{c|cc}
\mathrm{NOR}
& 0 & 1\\
\hline
0 & 1 & 0\\
1 & 0 & 0\\
\end{array}
3値論理
three-valued logic
trueとfalseと missing
code:jl
ft = false, true
a & b for a in ft, b in ft # 0 0
# 0 1
a | b for a in ft, b in ft # 0 1
# 1 1
!a for a in ft' # 1 0
a ⊻ b for a in ft, b in ft # 0 1
# 1 0
a ⊼ b for a in ft, b in ft # 1 1
# 1 0
a ⊽ b for a in ft, b in ft # 1 0
# 0 0