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

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

---

                     26.Совершенная конъюнктивная нормальная форма. СКНФ .

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

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

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

   (A � B � C)  (B* � C � A)  Здесь � - знак дизъюнкции, а  * -знак отрицания, стоящей слева переменной.

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