Изменения

{{tick}} "Так как СКНФ получена из СДНФ, которая может быть посторена для любой функции, то теорема доказана." - [[ДНФ | СДНФ]] может быть построена для любой функции, '''не равной тождественному нулю'''.