Sheffer's stroke


logic a function of two sentences, equivalent to the negation of their conjunction, and written p | q (p and q are both not true) where p,q, are the arguments: p | q is false only when p,q are both true. It is possible to construct all truth functions out of this one alone

Word Origin for Sheffer's stroke

named after H. M. Sheffer (1883–1964), US philosopher
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012