Способ решения систем логических уравнений. Системы логических уравнений в задач