Following Along Async Tutoring [Dface]

[Dface]

@Elliot

and(x,y) = ?
not(x) = ?

using only nand on the right?

Truth table for: and(x,y) = ?

and(x,y) = nand(nand(x,y),nand(x,y))

Truth table for not(x) = ?

not(x) = nand(x,x)