Сайт учителя информатики Якунцовой Ирины Валерьевны
Единый Государственный Экзамен
Задача 23 - решение системы логических уравнений
Задание относится к категории - очень сложное, уровень МИФИ.
Источник Информатика № 8 2014