funkcja boolowska

Funkcja boolowska (funkcja logiczna) – dowolne odwzorowanie gdzie jest podzbiorem zaś jest podzbiorem Jeżeli funkcja boolowska jest określona dla każdego elementu zbioru (czyli ), to nazywamy ją funkcją zupełną. Analogicznie, jeśli jest właściwym podzbiorem to funkcja jest nazywana niezupełną lub też nie w pełni określoną. Liczba wszystkich -argumentowych funkcji zupełnych jest równa: Funkcja boolowska jest matematycznym modelem układu kombinacyjnego. Układy tego typu są używane do budowy między innymi multiplekserów, mikroprocesorów, do sterowania na przykład wyświetlaczami LED i w wielu innych urządzeniach elektronicznych.