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". It is also called non-conjunction, alternative denial (since it says in effect that at least one of its operands is false), or NAND ("not and").
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". It is also called non-conjunction, alternative denial (since it says in effect that at least one of its operands is false), or NAND ("not and").
Source: Wikipedia "Sheffer stroke" · CC BY-SA 4.0
Share this article: X · Bluesky