Изменения
→КНФ в форме Крома
{{Определение
|definition=
'''Конъюнктивная нормальная форма(КНФ) ''' (англ. ''conjunctive normal form'') '''в форме Крома(2-КНФ)''' {{---}} это конъюнкция выражений в скобках, каждое из которых представляет собой дизъюнкцию нескольких литералов, количество которых не превышает двух.}}
'''Пример :'''
