В статье рассматривается понятие изоморфизма элементарных конъюнкций предикатных формул. Изоморфные формулы задают одно и то же отношение между различными аргументами, а следовательно, выделение изоморфных друг другу подформул в множестве более сложных формул позволяет выявить структуру исследуемых объектов. Описываются задачи, при решении которых выделение такой структуры позволяет уменьшить их вычислительную сложность.