Sheffer's stroke

  1. 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

Origin of Sheffer's stroke

named after H. M. Sheffer (1883–1964), US philosopher

Words Nearby Sheffer's stroke

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