Co je to Shefferova spojka?
Výraz:
Shefferova spojka
Význam:
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.
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.