If the output `y^(')` of two input NAND gate is used as the input of NOT gate as shown in Fig. we get back as AND gate. Here the Boolean expression for output y is
`y^(')=bar(A.B) and y=bar(bar(A.B))=A.B`
The truth table of this combination will be as shown below in Fig., which is a truth table of NAND gate.
`|{:(A,B,Y',Y),(0,0,1,1),(1,0,1,0),(0,1,1,0),(1,1,0,1):}|`