External links Sheffer Stroke article in the Internet Encyclopedia of Philosophy http://hyperphysics.phy-astr.gsu.edu/hbase/electronic/nand.html implementations of 2 and 4-input NAND gates Proofs of some axioms by Stroke function by Yasuo Setô @ Project Euclid NAND gate Logical connectives Logic symbols