Изменения

'''Конъюнктивная нормальная форма (КНФ) в форме Крома (2-КНФ)''' (англ. ''2-SATCNF'') {{---}} это конъюнкция выражений в скобках, каждое из которых представляет собой дизъюнкцию нескольких литералов, количество которых не превышает двух.}}