論理演算
logical operation
2入力の場合は真理値表よりVeith図の方がすっきり表現できるあんも.icon
ベイチ図？
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
否定
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}
XOR: $ \veebar
eXclusive OR: 排他的論理和
code:tex
\begin{array}{c|cc}
\mathrm{XOR}
& 0 & 1\\
\hline
0 & 0 & 1\\
1 & 1 & 0\\
\end{array}
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 # 1 1
# 1 0
a ⊽ b for a in ft, b in ft # 1 0
# 0 0
a ⊻ b for a in ft, b in ft # 0 1
# 1 0