XORをNANDで表す

Y_{XOR}=(A+B)(\bar{A}+\bar{B})=A\bar{B}+\bar{A}B=(\overline{\bar{A} \cdot \bar{B}})\cdot (\overline{A+B})

Logisimでのシミュレーション
f:id:seinzumtode:20210717151600p:plain

こういう実装もある。NANDが６個から４個に減ったので、こっちのほうが効率的。
f:id:seinzumtode:20210717151746p:plain