Что такое творческие кладовые по дискретной математике
портала "Русский след"?

                                                                   Поэзия всей сути чисел
                                                     Сравнима с россыпью светил,
                                                     Прекрасна как алмазный бисер
                                                    Родоначальница мерил. (Ю.Н. Пиллигримов)

---

                     25.Совершенная дизъюнктивная нормальная форма. СДНФ .

     Дизъюнктивная нормальная форма какой-нибудь формулы представляет собой  равносильную ей формулу, состоящую из
дизъюнкции формул, каждая из которых  в свою очередь представляет собой конъюнкцию элементарных высказываний или
отрицаний.

              Процесс приведения заданной формы в  дизъюнктивную нормальную форму  осуществляется  по правилам
преобразования:  сначала устраняется знак импликации "� ", означающий " если..., то...", затем убирается двойное отрицание, если
таковое присутствует, Дальше с помощью равнозначных преобразований приводят исходное выражение к
совершенной  дизъюнктивной нормальной форме.

        Совершенная дизъюнктивная нормальная форма - это такая дизъюнктивная нормальная форма в которой  каждый член содержит ровно по одному разу все имеющиеся в ней  различные  переменные, не содержит  двух одинаковых множителей, ни какое слагаемое не содержит какой-нибудь переменной вместе с  её отрицанием. Например,

          �    �        

где A, B, C. D - какие-то высказывания, черточки над буквами означают отрицание данного высказывания, . �  - союз "или" знак дизъюнкции,  а  знак конъюнкции - знак логического умножения здесь опущен. так,  как это делается в арифметической алгебре.