Критерии функциональной разделимости квадратичных булевых пороговых функций

Работа продолжает исследование функциональной структуры булевых функций, задаваемых действительными линейными неравенствами. Рассматриваются булевы функции, определяемые одним нелинейным неравенством второй степени. Многочлены второй степени среди всех нелинейных многочленов обладают наименьшим размером задания, т.е. свойством, существенным в ряде прикладных задач. Доказаны три критерия функциональной разделимости для булевых квадратичных пороговых функций. Второй критерий не требует анализа табличного задания функции и формулируется в терминах пороговой структуры.