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