Пропонується оригінальний метод перевірки виконуваності формул логічної мови L, які представлені у вигляді множини кон'юнктів. перевірка виконуваності формул здійснюється шляхом аналізу і перетворень певних відношень, визначених на множині кон'юнктів.
