Изменения

Пусть даны <tex>n</tex> логических аргументов <tex>A_1,A_2,...,A_n</tex>. Поставим в соответствие этим аргументам натуральные числа <tex>a_1,a_2,...,a_n</tex>, называемые весами, и зададим некоторое неотрицательное число <tex>T</tex>, которое будем называть '''порогом'''. Условимся считать, что если на каком-либо наборе <tex>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 T</tex>, то функция <tex>f(A_1,A_2,...,A_n)</tex> на этом наборе принимает нулевое значение. Функцию, представленную описанным способом, будем называть '''пороговой функцией'''.