Изменения

{{tick | ticked=1}} Для исключающего или показана не СДНФ

{{tick | ticked=1}} Указать, что в примере строиться СДНФ для медианы

{{tick}} Пояснить, почему нельзя сделать 0. '''UPD''': Имеется в виду теорема: "Для любой булевой функции f, не равной тождественному нулю,"

* "очевидно из алгоритма построения" {{---}} плохое объяснение

{{tick}} Кажется, при массовой замене \vec на \neg некоторые \vec испортились. '''UPD''' В условии теоремы.

* Просмотрел историю правок {{---}} это было не \vec, а \overline