funktor Sheffera 1
rzeczownikdomena: komunikacjarejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
funktor dysjunkcji, którego symbolem jest ukośnik (/); spójnik NAND.
Przykłady
- 1.Poza binegacją i tzw. funktorem Sheffera (dysjunkcją) żaden inny funktor dwuargumentowy nie wystarcza do zdefiniowania wszystkich funktorów jedno- i dwuargumentowych.
Synonimy
- dysjunkcja 3
funktor dysjunkcji, którego symbolem jest ukośnik (/); spójnik NAND.
