Sheffer's stroke

British

noun

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

Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023