Sheffer's stroke


Also found in: Encyclopedia, Wikipedia.

Sheffer's stroke

n
(Logic) 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
[named after H. M. Sheffer (1883–1964), US philosopher]
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
The neutrosophic operators are: neutrosophic negation, neutrosophic conjunction, neutrosophic disjunction, neutrosophic exclusive disjunction, neutrosophic Sheffer's stroke, neutrosophic implication, neutrosophic equivalence, etc.
We mean by "o": conjunction, disjunction, exclusive disjunction, Sheffer's stroke, and equivalence.