Implementing AND gate using NAND