1302
правки
Изменения
Нет описания правки
{{tick}} В определении дизъюнкта "''Простой дизъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте.
{{tick}} Какой смысл определять '''полную и правильную,''' дизъюнкцию, если в определении СКНФ не используется это определение?
{{tick}} "Так как СКНФ получена из СДНФ, которая может быть посторена для любой функции, то теорема доказана." - [[ДНФ | СДНФ]] может быть построена для любой функции, '''не равной тождественному нулю'''.
