Dictionary.com
definitions
  • synonyms

Sheffer's stroke

noun
  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
Show More

Word Origin

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