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