Аннотация:В работе рассматривается логический подход для описания
геометрических объектов, а именно фигур на плоскости. Для
конечного множества фигур $P$ и множества перестановок $M$ этих
фигур изучается ($M,P$)-равенство формул алгебры логики, то есть
формул, получающихся подстановкой фигур из $P$ вместо переменных.
В работе проводятся исследования того, при каких ограничениях на
$M$ и $P$ равенство формул эквивалентно ($M,P$)-равенству формул и
приводятся алгоритмы построения множества $P$, удовлетворяющего
данным ограничениям.