Zbiór operacji takich, że każda funkcja logiczna może być przedstawiona przy pomocy argumentów stałych 0 i 1 oraz tych operacji nazywamy systemem funkcjonalnie pełnym (SFP)

Funkcje logiczne sumy, iloczynu i negacji tworzą podstawowy system funkcjonalnie pełny

Sprawdzenie czy jakiś system jest SFP polega na próbie wyrażenia przy pomocy badanych operatorów operacji negacji, sumy i iloczynu

Spośród 16 funkcji dwóch zmiennych tylko dwie, każda niezależnie tworzą system funkcjonalnie pełny. Są to funkcje: NAND i NOR