 The first published proof was by Henry M. Sheffer in 1913, so the NAND logical operation is sometimes called Sheffer stroke; the logical NOR is sometimes called "Peirce's arrow".Consequently, these gates are sometimes called "universal logic gates".By use of De Morgan's laws, an "AND" function is identical to an "OR" function with negated inputs and outputs.