Show that the following identities hold,

where the two arrow-up and arrow-down symbols represent the fundamental NAND and NOR operators,