Transformation from AND-OR Logic to NAND-NAND Network