nand
alone is sufficient
l
aÕ = nand(a, a)
l
and(a, b) = nand(a, b)Õ
l
or(a, b) = nand(aÕ, bÕ)
= nand(nand(a, a), nand(b, b))