1302
правки
Изменения
Нет описания правки
{{tick | ticked=1}} В определении конъюнкта "''Простой конъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте.
{{tick | ticked=1}} Какой смысл определять '''полную и правильную,''' конъюнкцию, если в определении СДНФ не используется это определение?
{{tick | ticked=1}} "элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом"
{{tick | ticked=1}} В разложении Шеннона и примерах отрицание показать так: <tex>\neg x</tex>
{{tick | ticked=1}} " возможных наборов значений n переменных." - n в TeX
{{tick | ticked=1}} опечатка: "дизъюннктивном"
{{tick | ticked=1}} Для исключающего или показана не СДНФ
{{tick | ticked=1}} Указать, что в примере строиться СДНФ для медианы
{{tick | ticked = 1}} В TeX есть перевод строки. Не нужно использовать перевод строки из mediawiki
* Поправил сам --[[Участник:Rybak|Андрей Рыбак]] 23:48, 12 марта 2012 (GST)
<s>{{tick}} Сделать таблицы не серыми.</s>
{{tick}} Пояснить, почему нельзя сделать 0. '''UPD''': Имеется в виду теорема: "Для любой булевой функции f, не равной тождественному нулю,"* "очевидно из алгоритма построения" {{---}} плохое объяснение{{tick | ticked = 1}} Кажется, при массовой замене \vec на \neg некоторые \vec испортились. '''UPD''' В условии теоремы.
* Просмотрел историю правок {{---}} это было не \vec, а \overline
