Одной из самых сложных задач второй части ЕГЭ по информатике можно по праву считать задачу на определение количества решений системы логических уравнений B15. При её решении во время подготовки к экзамену учащиеся зачастую желают проверить правильность своих ответов. В статье приведена система логических уравнений и программа на языке Pascal для получения количества различных решений системы. Существует возможность изменения приведённой программы для получения таблицы истинности системы уравнений.