Dictionary.com
Thesaurus.com

Sheffer's stroke

British  

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

"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

Etymology

Origin of Sheffer's stroke

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