Dysjunkcja, dyzjunkcjaWiktor Marek, Janusz Onyszkiewicz, Elementy logiki i teorii mnogości w zadaniach, Wydawnictwo Naukowe PWN, Warszawa 2012, , s. 8., dysjunkcja/dyzjunkcja Sheffera, funkcja Sheffera, funktor Sheffera, NAND, niewspółzachodzenie – zdanie lub funkcja zdaniowa utworzone za pomocą funktora dysjunkcji, jednego z dwuargumentowych funktorów zdaniotwórczych rachunku zdań. Pojęcie dysjunkcji wprowadził w roku 1913, amerykański logik Henry Sheffer.
W języku potocznym funktorowi temu odpowiada „nieprawda, że (jednocześnie): i ” (ponieważ dysjunkcja jest negacją koniunkcji) lub „zachodzi najwyżej jedno z dwojga” (por. artykuł „Funktory klasycznego rachunku zdań (KRZ) a język naturalny”).
Symbolem funktora dysjunkcji jest przeważnie ukośna kreska / (tzw. kreska Sheffera).
Uwaga: W terminologii angielskiej dotyczącej logiki, angielskie słowo disjunction oznacza w istocie polską alternatywę (nierozłączną), nie zaś polską dysjunkcję (opisywaną w niniejszym artykule).