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