Charles Peirce

Charles Sanders Peirce (1939 - 1914) was an American mathematician, philosopher and logician?.

He was responsible for many aspects of modern logic.

• introduced truth tables for logical operators
• proved the pair of operator logical nor was sufficient to derive all other boolean operations
• defined the standard functional notation for first-order predicate logic.