Отрицание через дизъюгкцию

[arseniiv]

Ну их тоже можно делать по кусочкам, выбирая подформулы умышленно, а не в случайном или каком-то фиксированном, как программа (в этом случае нет пользы от случайного выбора, так что вряд ли какая-нибудь программа будет так делать), порядке.

[Sender]

Sinoid в сообщении #1248773 писал(а):

А, вы вот к чему.

Я к тому, что пространство возможных решений не так велико, и решить не так уж трудно, если, конечно, начать заниматься этим.

Sender в сообщении #1248518 писал(а):

Для решения вручную можно применить что-то вроде перебора с возвратом, только желательно выбирать предположения, отсекающие побольше вариантов.