Пусть даны <tex>n</tex> логических аргументов {{Определение|definition =Булева функция <tex>f(A_1,A_2,...,A_n)</tex>. Поставим в соответствие этим аргументам натуральные числа <tex>a_1,a_2,...,a_n</tex>, называемые весами, и зададим некоторое неотрицательное число <tex>T</tex>, которое будем называть называется '''порогомпороговой'''. Условимся считать, что если на каком-либо наборе ее можно представить в виде <tex>f(A_1,A_2,...,A_n) = [A_1 a_1+A_2 a_2+...+A_n a_n=\sum_{i=1}^n A_i a_i>T</tex>, где знак <tex>"+"</tex> обозначает арифметическое сложение, то булева функция <tex>f(A_1,A_2,...,A_n)</tex> принимает единичное значение на этом наборе. Если же на каком-либо наборе <tex>\sum_{i=1}^n A_i a_i \le ge T]</tex>, то функция <tex>f(A_1,A_2,...,A_n)</tex> на этом наборе принимает нулевое значение. Функцию, представленную описанным способом, будем называть '''пороговой функцией'''.
где <tex>a_i, T \in R</tex>
}}
Обычно пороговую функцию записывают в следующим виде: <tex>f = [a_1,a_2,a_3,...,a_n;T]</tex>.
:<tex>[a_1,a_2,a_3,...,a_n;T]=[ka_1,ka_2,ka_3,...,ka_n;kT]</tex>,
где k — натуральное число. Чтобы убедиться в этом достаточно записать
: <tex>ka_1 A_1+ka_2 A_2+...+ka_n A_n>\ge kT</tex>: <tex>ka_1 A_1+ka_2 A_2+...+ka_n A_n \le < kT</tex>
и разделить обе части неравенства на <tex>k</tex>.
