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