Дано логическое выражение с А, Б, С, построить минимальное по длине эквивалентное ему. Она решалась любым алгоритмом нахождения кратчайшего пути: Изначально забивалось, что выражения А,Б,С, являющиеся истинными для таких-то наборов А,Б и С, являются минимальными, потом каждый раз из очереи доставалось минимальное по длине выражение, и его надо было скрестить с другим выражением/записать его отрицание.

Таким образом там минимизировались все логические выражения для любой таблицы истинности. Других таких задач ТСМ не помню. Если переменных гораздо больше, то там и как найти, при каких наборах значений выражение истинно нельзя за нормальное время, мне кажется. ( Ведь нужен перебор 2^(2^N) - все подмножества всех возможных наборов значений переменных)