Методы решения систем логическикх уравнений