NAND function
logic
Also known as: Sheffer stroke function
Learn about this topic in these articles:
history of logic
- In history of logic: Gottfried Ploucquet
…the 20th century as the “Sheffer stroke” function (also known to Peirce) meaning “neither . . . nor.” The universal negative proposition, “No A’s are B’s,” would become “A > B” (or, convertibly, “B > A”). The equality sign was used to denote conceptual identity, as in Leibniz. Capital letters…
Read More - In history of logic: Propositional and predicate logic
…connective, known as the “Sheffer stroke,” which has the force of a negated conjunction. (A negated disjunction can serve the same purpose.)
Read More