Изменения

{{tick | ticked = 1}} Какой смысл определять '''полную и правильную,''' дизъюнкцию, если в определении СКНФ не используется это определение?

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

<s>{{tick}} Сделать таблицы не серыми.</s>