Talk:Logical nand

Alternative, not joint, denial
Contrary to the first paragraph, Sheffer stroke is not 'joint denial' but rather 'alternative denial'. The joint denial of P and Q is $$\lnot p \land \lnot q$$ which is equivalent to NOR. The alternative denial of P and Q $$\lnot p \lor \lnot q$$ which is equivalent to NAND (the Sheffer stroke).

NAND symbol shape is non-standard
The NAND gate symbol shown in the upper-right illustration does not conform to industry standards for a NAND gate. The straight horizontal edges should be longer. See page three of the IEEE document http://www.ddpp.com/DDPP3_pdf/IEEEsyms.pdf.

Logical nand is a more common name
This is the simple reason why I moved the article from Sheffer stroke to Logical nand. And after that, I did some innovative changes, but however, some people just reverted the changes and ignored the improved article!!!!!