Systems of inclusions with unknowns in multioperations

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