У меня есть библиотека, с которой я должен взаимодействовать, которая действует в основном как источник данных. При извлечении данных я могу передать в эту библиотеку специальные «выражения фильтра», которые позже будут преобразованы в часть SQL...

Я хочу преобразовать мои предложения в конъюнктивную нормальную форму. Пункты меняются каждый раз, когда я запускаю свою программу, поэтому, я думаю, мне нужно встроить инструмент в мою программу, чтобы сделать это за меня. Есть ли какие-либо...

Если вы измените задачу 3-cnf-sat следующим образом: Для каждого c i , c i = -x i1 ИЛИ -x i2 ИЛИ x i3 означает, что ровно одна из переменных появляется без отрицания. Вам также присваиваются значения (0 или 1) для некоторых (или всех ) из x. Вы...

Итак, я писал запрос в Visual Studio 2010 (я имею в виду, что я открыл проводник сервера, щелкнул правой кнопкой мыши сервер и выбрал «Новый запрос»). В запросе есть условие A AND B AND C AND D AND E AND F AND (G OR H) что является...

Я хотел бы сжать положительные пропозициональные формулы в дизъюнктивную нормальную форму (ДНФ). На данный момент я предполагаю только простой DNF без отрицательных литералов. Обратный процесс, декомпрессию можно легко определить. Для формулы,...

Я читал некоторые заметки о преобразовании предложений логики первого порядка (FOL) в конъюнктивную нормальную форму (CNF) и последующем выполнении разрешения. Одним из шагов преобразования в CNF является Standardize variables . Я искал, чтобы...

Во многих статьях используется SAT, но мало кто упоминает, как преобразовать дополнение в CNF. Поскольку CNF допускает только операцию AND OR NOT, описать операцию сложения сложно. Например, x1 + x2 + x3 + ... +x1599 < 30, xi is binary....