Задача по дискре

Решить одну несложную задачу по дискретной математике во время экзамена (темы: комбинаторика, алгебра логики, предикаты, графы)

Задача несложная, на базовые теоремы, решение займет минут 10-15.

Около 10:00 14 января присылаю вам фото с условием. В течение часа присылаете решение.

Оплата заранее ~600р.

Примеры задач прошлого года прикреплены.