Bubble Logic
nand
or
nand, another way
nand(a, b) =
and(a, b)Õ =
or(aÕ, bÕ)
DeMorgan:
=
(aÕ)Õ = a
