eliminare parti uguali da due stringhe [era: Aiuto funzione]

[Lerc]

Ciao a tutti,
devo implementare in javascript una funzione che simuli il modus ponens.
In pratica, ho due espressioni, ad esempio:
a->(a->a->a)
e
(a->a->a)->(a->a)

la funzione mi deve eliminare le parti uguali delle due espressioni e ritornare le parti non uguali, in questo caso, la funzione dovrà restituirmi:
a->(a->a)
eliminando la parte (a->a->a) che è comune a entrambe le espressioni.

Ho provato confrontando carattere per carattere delle due espressioni ma non funziona. Qualcuno può aiutarmi?
Grazie

[Xinod]

occhio ai titoli, leggi il regolamento se non e' chiaro cosa intendo, grazie

[br1]

Se prima non definisci cosa intendi per "parti uguali" sara' difficile aiutarti... per esempio nella tua stringa risultante perche' non hai eliminato a-> o un'altra porzione come a- , -> o anche solo a ???

ps: quantomeno dovresti utilizzare una simbologia univoca per l'operatore d'inferenza...

[Lerc]

Si la -> sarebbe una freccia, nel senso di implicazione logica.

Per parti uguali intendo una parte di una espressione che è indentica ad un'altra parte di un'altra espressione.
Nell'esempio che ho fatto sopra ho:
Prima espressione: a->(a->a->a)
Seconda espressione: (a->a->a)->(a->a)
In rosso sono quelle parti di espressioni che sono uguali sia nella prima che nella seconda espressione. Dunque la funzione che devo creare mi dovrà scartare queste parti in rosso e lasciare le parti in verde e pertanto essere:
Risultato espressione: a->(a->a)

[br1]

vabbe', la riformulo: come identifico "una parte di espressione"??? non dalle parentesi dato che la a iniziale non le ha, e poi rimane il problema di distinguere la "freccia" come operatore dalla "freccia" all'interno delle parentesi che, come sembra capire, non e' un operatore...

In sintesi: devi usare una sintassi certa per scrivere le tue formule, altrimenti non se ne esce.

[Lerc]

Come identificare queste parti di espressioni uguali è proprio l'aiuto che ho chiesto.
La freccia è sempre lo stesso operatore di implicazione sia all'interno che fuori dalle parentesi.