ZINTEL Gerhard <gerhard.zintel <at> faurecia.com> writes:
>
> Thank you very much for your help!
>
> I'm a bit disappointed that there seems to be no easy way to do such kind of
> transformation in a save, automatic way.
This type of problem look very similar to logical circuit simplification,
Karnaugh Map and other techniques are used here. Perhaps you should ask an
expert in boolean circuit simplification to adapt some well-known heuristic
to your problem. (multiplication similar to and gates, ...)
Hope that this help.
-M