Изменения

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