Tautology in coNP

Правда ли, что ДНФ истинна для всех присваниваний?

Покажите, что эта задача в coNP.