1 Проверить, является одно слово, суффиксом другого
2 Построить эквивалентную формуле ДНФ
3 Секвенции
4 Секвенции, эквивалентности (sequence 2)
5 Проверка на истинность формулы логики предикатов
6 Запись условий с помощью формул логики предикатов
7 Логика предикатов в базе данных