are nand gates functionally complete