Nand

1.boolean logic

常用的boolean logic有AND OR NOT，其性质如下

事实上，可用AND和NOT来表示OR

x or y = NOT(NOT(x) AND NOT(y))

但没法只用AND或NOT，于是出来了NAND，x NAND y = NOT(x AND y)，其真值表如下

于是可以用NAND表示AND和NOT

NOT(x) = x NAND x

x AND y = NOT(x NAND y)