Как решать системы логических уравнений?