Dysjunkcja (
dyzjunkcja,
dysjunkcja/dyzjunkcja Sheffera,
funkcja Sheffera,
NAND, w terminologii Jana Łukasiewicza
niewspółzachodzenie) –
zdanie lub
funkcja zdaniowa utworzone za pomocą
funktora dysjunkcji, jednego z dwuargumentowych
funktorów zdaniotwórczych rachunku zdań. Symbolem funktora dysjunkcji jest przeważnie ukośna kreska /. W języku potocznym funktorowi dysjunkcji odpowiada swobodnie funktor „bądź..., bądź...”. Wyrażenie "p / q" odczytywać można „bądź p, bądź q”, „albo p, albo q” (w znaczeniu „zachodzi najwyżej jedno z dwojga”, por.), jako że dysjunkcja jest negacją koniunkcji („nieprawda, że zarazem p i q”). Pojęcie dysjunkcji wprowadził w 1913
Henry Sheffer.