implementation of Not with Nand