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.
Bằng chứng đầu tiên được xuất bản bởi Henry M. Sheffer năm 1913, nên toán tử logic NAND thỉnh thoảng được gọi là Sheffer stroke; toán tử NOR thỉnh thoảng được gọi là Peirce's arrow.