This isn't a "new notation" -- Pierce lived in the 19th century and his notation predates the current. Also, the fact that "nor" is functionally complete was ac

This isn't a "new notation" -- Pierce lived in the 19th century and his notation predates the current. Also, the fact that "nor" is functionally complete was actually discovered by Pierce in 1880. Pierce is more famous for his non-mathematical philosophy of "pragmatism", but he actually contributed quite a bit to logic.