Алгоритм перехода от КНФ к КСНФ

1. Определение сомножителя с недостающим слагаемым

2. Сомножители добавляет произведение прямого и инверсного значения недостающих переменных

3. На основной форме склеивания выполняется преобразование

4. Объединение сомножителей

f_КНФ=(x₂vx₃)(x₁v ₃)

f_КСНФ=(x₂vx₃vx_{1 1})(x₁v ₃v ₂x₂)=(x₁vx₂vx₃)( ₁vx₂vx₃)(x₁vx₂v ₃)(x₁v ₃v ₂)