Расширение системы эквивалентных преобразований выражений

На базе существующей диалоговой системы эквивалентных преобразований алгебраических выражений [1] можно строить системы с более богатым языком выражений. Рассматривается реализованное на алгоритмическом языке ЛИСП расширение системы – система для преобразования отношений и логических выражений.