Привет всем,есть такая строка ((avb)&c)->(a->c),мне надо представить её в виде объекта с 3 полями,"(avb)&c)" - 1 поле, "->" - 2 поле,"(a->c)" - 3 поле,а 1 и 3 поля в виде таких же объектов,с 3 полями,например для "(avb)&c)" --"(avb)" - 1 поле, "&" - 2 поле,"c" - 3 поле и так далее.Т.е. сохранить структуру вложенности,притом что заранее не известно,будет ли поле строкой или объектом!

Или может кто знает как реализовать алгоритм редукции для определения общезначимости формул исчисления высказываний?

http://www.google.com/#hl=en&num=100&a...92ac4760832f3c4