Category:Implication in terms of NAND