КНФ и ДНФ. Преобразования формул алгебры высказываний к КНФ и ДНФ. Теорема о существовании КНФ и ДНФ формулы алгебры высказываний.

   КНФ (конъюнктивная нормальная форма) данной формулы - формула, равносильная данной, представляющая собой произведение элементарных сумм. пример: (X\/(not X))&(Y\/Z\/W)
   ДНФ (дизъюнктивная нормальная форма) данной формулы - формула, равносильная данной, представляющая собой сумму элементарных произведений. пример: (X&(not X))\/(Y&Z&W). 
   утверждение: для любой формулы существует КНФ и ДНФ, причем не одна.
   ТЕОРЕМА о существовании КНФ и ДНФ формулы АВ: