Text this: О реализации алгоритмов типа "Кора" с помощью решения систем булевых уравнений специального вида