СД(К)НФ - это же совершенная дизъюнктивная (конъюнктивная) нормальная форма

хз, если бы конспект сохранил, то решил бы, а так надо в нете рыться вспоминать.

я попутал, это мы с кванторами, что-то подобное делали.