W 1925 Eustachy Żyliński udowodnił, że nie istnieje żaden inny niż binegacja i dysjunkcja funktor rachunku zdań, przy użyciu którego zdefiniować można wszystkie pozostałe.

Inne funktory logiczne definiowane są w sposób następujący:

Funktor dysjunkcji stanowi jedyny termin pierwotny rachunku zdań w stylizacji zwanej dysjunkcyjnym rachunkiem zdań. Dysjunkcyjny rachunek zdań jest jedyną formą klasycznego rachunku zdań, w której występuje tylko jeden aksjomat. Jest nim aksjomat Nicoda-Łukasiewicza, sformułowany przez Jeana Nicoda (A Reduction in the number of the Primitive Propositions of Logic, 1917), uproszczony przez Jana Łukasiewicza (Uwagi o aksjomacie Nicoda i o „definicji uogólniającej”, 1933).

Bramka logiczna

Realizacją operacji NAND w elektronice jest bramka logiczna NAND. Oznaczana jest symbolem:

center|100px

Zobacz też Alternatywa (nierozłączna) Alternatywa rozłączna Koniunkcja

Uwagi

Przypisy

Linki zewnętrzne

Artykuł Nicoda A Reduction in the number of the Primitive Propositions of Logic w Wikisource

Kategoria:Funkcje boolowskie Kategoria:Spójniki logiczne