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