Assertion: sheffer stroke | /r/CapableOf | express in ordinary language
Facets:
value: as both
type: MANNER
Source sentences:
text: In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both".