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:

Shefferova spojka

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

Mohlo by vás také zajímat: