[dhosek]

Nah, all you need are nand gates. Everything else can be implemented from those.

[dan-robertson]

Yeah, similarly in mathematics they often like to build everything up from ‘implies’ where the rule is implies(a,b) = or(not(a), b) = nand(a,nand(b, b)).