Sheffer stroke

• abstract: " which is often used to represent disjunction), "Dpq", or "↑", denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both".

以上来源于: WordNet