Funkcja
Encyklopedia PWN
log. wyrażenie zawierające zmienne, z których co najmniej jedna jest wolna (zmienna logiczna), i przekształcające się w nazwę w rezultacie podstawienia odpowiednich wyrażeń stałych w miejsce zmiennych wolnych,