Об одном подходе к решению булевого линейного уравнения с целыми положительными коэффициентами

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