Show that the following identities hold,

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

Show that the following identities hold,
where the two arrow-up and arrow-down symbols represent the fundamental NAND and NOR operators,