XOR
eXclusive OR: 排他的論理和
NANDとORから構成できる
2つのANDをとる
code:jl
function xor_by_nand_or(a, b)
p = a | b
q = a ⊼ b
return p & q
end
ft = false, true
xor_by_nand_or(a, b) for a in ft, b in ft == a ⊻ b for a in ft, b in ft