Ciao a tutti, avrei bisogno di un aiutino.
volevo chiedervi se qualcuno di voi aveva mai impementato o ha visto da qualche parte un codice per semplificare espressioni logiche.
cioè: data un'espressione logica trovare le classi di espressioni logiche generate da essa.
Gli operatori presi in considerazione sono:

* | & +

ovviamente tranne il + e il * che sono unari gli altri sono n-ari a priori non si sa quanti saranno i fattori legati da un and o un or.

esempio:

(((CD)*|(AB)*)&(CD)) [da notare che & potrebbe non esserci ma si può capire a livello di programmazione perchè ci sarà una parentesi chiusa seguita da una apera con in mezzo al più un'operando]

mi crea:
CD
(CD)*CD
(AB)*CD
(CD)*(AB)*CD

l'operatorio unario * prevede la ripetizioni da 0 a n mentre il + da 1 a n;

più complessa sarebbe stata la stringa:

(((CD)*|(AB)*)*&(CD))

spero in molti vostri consigli grazie mille.