Редактирование: Специальные формы КНФ
Версия от 00:32, 17 июня 2016; Nemzs (обсуждение | вклад) (→Разрешимать булевой формулы, заданой в форме Крома)
Предупреждение. Вы редактируете устаревшую версию данной страницы. После сохранения будут потеряны изменения, сделанные в последующих версиях.
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.