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