Логическая функция -  местная функция, определенная на множестве истинностных значений и принимающая значения в этом множестве.