Sheffer-Strich

in der Aussagenlogik der Junktor für die Exklusion, dargestellt durch das Zeichen |, in der Bedeutung »nicht beide«. – Angewendet auf zwei Aussagen A und B gilt A | B ↔ ¬ (A∧B); das bedeutet, dass A | B nur dann falsch ist, wenn beide Aussagen A und B wahr