Shefferova spojka
Shefferova spojka (anglicky Sheffer stroke) je označení pro logickou operaci negace konjunkce. Často se také označuje jako operace NAND (tedy "not and").
Označuje se často (svislou čárou) či šipkou nahoru (↑).
V podobě Vennova diagramu se Shefferova spojka (A ↑ B) dá vyjádřit takto:

Byla pojmenována podle amerického logika Henryho M. Sheffera.