Описание тега conjunctive-normal-form
В булевой логике формула имеет конъюнктивную нормальную форму (CNF), если это конъюнкция предложений, где предложение является дизъюнкцией литералов, где литерал и его дополнение не могут появляться в одном предложении.
1
ответ
Сжатие положительного DNF
Я хотел бы сжать позитивные пропозициональные формулы в дизъюнктивной нормальной форме (DNF). Я только предполагаю простой DNF на данный момент без отрицательных литералов. Обратный процесс, декомпрессия может быть легко определена. Для формулы, пос…
05 сен '12 в 15:29
1
ответ
Python: сокращение использования оперативной памяти в программе чтения, хранения, работы и записи больших файлов
У меня есть программа на Python, которая преобразует файл формата DIMACS cnf в формат PLA. Я читаю предложения CNF из файла и сохраняю их в списке, а затем выполняю операции над элементами списка. Программа отлично работает для файлов меньшего разме…
30 апр '16 в 04:00
1
ответ
Как конвертировать его в CNF(конъюнктивная нормальная форма)
Я столкнулся с выражением ниже A ∨ (B ∧ C) ∨ (D ∧ E ∧ ￢ (A ∨ B)) Как конвертировать в CNF(конъюнктивная нормальная форма)?
10 сен '13 в 12:08
3
ответа
Загрузить файл для конъюнктивной нормальной формы в список списков
Я написал некоторый код для загрузки cnf из файла, который хранит cnf в соответствии со стандартом, описанным здесь. файл: c simple_v3_c2.cnf // lines bigining by c are comments c p cnf 3 2 // the line bigining by p is the description of the pb 1 -3…
10 янв '13 в 09:31
2
ответа
Булева функция, какова цель DNF и CNF?
Булевы функции могут быть выражены в дизъюнктивной нормальной форме (DNF) или конъюнктивной нормальной форме (CNF). Кто-нибудь может объяснить, почему эти формы полезны?
08 авг '12 в 11:20
1
ответ
Пролог к соединительной нормальной форме
У меня есть этот код, который мне нужно перевести в CNF (это подготовка к экзамену, поэтому не домашняя работа!): p,q r :- q false :- p , s s :- t t Вот что я сделал: p ^ q ^ (r V ~q) ^ (~p V ~s) ^ (s V ~t) ^ t = r Правильно ли мое рассуждение? Здес…
04 ноя '14 в 02:19
1
ответ
Написание условий в нормальной конъюнктивной форме
Конъюнктивная нормальная форма (CNF) является стандартизированным обозначением для формул высказываний, которые диктуют, что каждая формула должна быть написана как соединение дизъюнкций. Каждая логическая формула может быть преобразована в CNF. Так…
01 апр '16 в 14:17
0
ответов
Можно ли настроить Solr так, чтобы мощности в queryResponse.getFacetFields() отражали запрос в конъюнктивной нормальной форме?
Apache Solr API для граненого поиска очень интуитивен. С классом SolrQuery легко создавать конкатенированные запросы AND, выполнять тему в отношении хранилища и обрабатывать результаты. В качестве очень приятной функции Solr отправляет обратно объек…
16 июн '14 в 15:57
1
ответ
Может ли конъюнктивная / дизъюнктивная нормальная форма быть представлена в бинарном дереве?
Я мог бы найти этот относительный вопрос Распределение И над ИЛИ в двоичном дереве (Conjunctive Normal Form) Я не совсем уверен, каковы будут результаты представления двоичного дерева CNF для выражения this. A & B & C AND |- A |- AND |-B |-C Это пра…
21 май '15 в 20:58
0
ответов
Преобразование в CNF (застрял)
Мне удалось упростить выражение до следующего (и исходное выражение, и версия ниже разрешают один и тот же CNF в соответствии с WolphramAlpha). Что дальше? (~C || C || ~A) && (~A || ~B || C)
12 ноя '14 в 16:55
2
ответа
Как преобразовать логическое выражение в файл cnf?
Мне нужно использовать Sat Solver для проверки выполнимости логических выражений.. У меня сложное логическое выражение, как это Есть ли автоматический конвертер файлов CNF, так что я могу дать его прямо в Sat Solver? Я прочитал файл формата cnf.. но…
16 окт '10 в 07:39
1
ответ
Имя литерала без знака в обычной форме
Элементы логического утверждения в предложении нормальной формы называются литералами. Например, учитывая пункт {a, !b} Литералы a, !b, Но предположим, что вы хотите получить набор элементов независимо от того, были ли они отменены. "Беззнаковые лит…
25 янв '17 в 16:43
1
ответ
Доказательство резолюцией - Искусственный интеллект
Я работаю с упражнением, где мне нужно показать, что KB |= ~D, И я знаю, что База знаний это: - (B v ¬C) => ¬A - (¬A v D) => B - A ∧ C После преобразования в CNF: A ∧ C ∧ (¬A v ¬B) ∧ (¬A v C) ∧ (A v B) ∧ (B v ¬D) Так что теперь я перешел на CN…
19 сен '15 в 23:37
1
ответ
Алгоритм упрощения CNF
Учитывая, что логическое выражение имеет конъюнктивную нормальную форму: существует ли "простой" алгоритм, чтобы упростить его, сохраняя при этом в CNF? В частности, какое свойство следующего выражения вызывает это упрощение? (~a+b+c)(a+~b+c)(a+~c) …
26 окт '16 в 01:14
0
ответов
Преобразовать в конъюнктивную нормальную форму
Я пытаюсь решить проблему, когда мне нужно конвертировать набор wff в CNF, но это формулы с использованием переменных, с которыми я совершенно незнаком. Я работаю с: Человек (тед) (1) Персона (Сам) (2) Любит (Тед, Сэм) (3) Я знаю общее правило устра…
21 окт '17 в 16:58
2
ответа
Как читать.cnf файл в java
У меня есть файл.cnf, который содержит числа в виде конъюнктивной нормальной формы. Мне нужно читать и хранить их в структуре данных (матрица или список), чтобы иметь возможность работать с ними в качестве индекса. (Мне нужно это, чтобы решить пробл…
09 июн '16 в 03:22
1
ответ
Конвертировать пункты в CNF
Я хочу преобразовать мои предложения в нормальную конъюнктивную форму. Пункты меняются каждый раз, когда я запускаю свою программу, поэтому я думаю, что мне нужно встроить инструмент в мою программу, чтобы сделать это для меня. Есть ли какие-либо пр…
23 фев '10 в 02:05
2
ответа
Алгоритмы для оптимизации конъюнктивных выражений нормальной формы для конкретных наборов команд?
Я использую минимизатор логики Эспрессо для создания минимизированной формы набора булевых уравнений. Однако вместо того, чтобы генерировать логику для программируемой логики массива (для которой обычно используется Espresso), я собираюсь реализоват…
04 ноя '09 в 02:23
1
ответ
Запросы в алхимии SQL с помощью конъюнкций
Я пытаюсь взять список строк и запрос на основе или комбинации всех строк в списке. Я хочу знать, можно ли сделать что-то подобное ниже. def filters(self,filter_company = ["DPL"]): print "TEST" # Company Filter company_conj = 1 ## Bitwise 1 with AND…
14 авг '15 в 16:42
1
ответ
Как преобразовать формулу в CNF?
Я знаю 4 правила для преобразования формул в CNF, но я не совсем уверен, как применить их к этой формуле ((x v y) ^ ¬ z) ->w Может ли кто-нибудь дать мне руку и немного объяснений? Спасибо!
21 июл '15 в 02:05