Изменения

Перейти к: навигация, поиск

Специальные формы КНФ

1 байт убрано, 18:33, 7 января 2017
м
КНФ в форме Крома
{{Определение
|definition=
'''Конъюнктивная нормальная форма '''(англ. ''conjunctive normal form, CNF'') '''в форме Крома, 2-КНФ<ref>[https://en.wikipedia.org/wiki/2-satisfiability Wikipedia {{---}} 2-satisfiability]</ref>.''' (англ. ''2-CNF'') {{---}} это конъюнкция выражений в скобках, каждое из которых представляет собой дизъюнкцию нескольких литералов, количество которых не превышает двух.}}
'''Пример :'''
195
правок

Навигация