Мне нужно реализовать структуру данных для разрешения единиц измерения. Единичное разрешение - это уточнение обычного разрешения, когда одно из предложений, используемых для разрешения, состоит только из одного литерала.
Например,
P и -P, Q, R
разрешить до
Q, R
Я думал о том, чтобы взять каждое предложение в виде набора и представить каждый литерал в виде числа, поэтому приведенный выше пример будет {1} и {-1,2,3}, и взять сумму предложения литерала с каждым элементом в другом наборе, и если сумма равна 0, например: -1 + 1 = 0, 2 + 1 = 3, 3 + 1 = 4, то удаляю элементы из наборов, которые составляют 0. Так что в этом случае я бы удалите P и -P и оставите Q и R. Имеет ли эта реализация смысл или нет? Если нет, как правильно это осуществить?