Изменения

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

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