Logic gate: prove NAND and NOR gate is universal