Для проверки ответа в СДНФ (совершенной дизъюнктивной нормальной форме) необходимо выполнить следующие шаги:

Проверить, что каждый дизъюнкт содержит все переменные и только одну из них в отрицании.Проверить, что каждый дизъюнкт не содержит одновременно переменную и ее отрицание.Проверить, что каждая переменная встречается в каждом дизъюнкте не более одного раза.

Если все эти условия выполняются, то ответ является правильным в СДНФ. Если хотя бы одно из условий не выполняется, то ответ неверен.