Цитата Сообщение от Yegor Посмотреть сообщение
Непонятно написали. Речь либо о тривиальном равенстве, либо о выполнимости булевых формул.
слишком глубоко, тут наверное имелось ввиду создание СКНФ/СДНФ, но это должно быть относительно какого то частного случая, для ПК я встречал проги которые оптимизируют набор элементов из любой таблицы, но на плк даже бы не взялся, только голову ломать