La soluzione e' BANALE:
1) ttrasformi OGNI porta logica in un'espressione del tipo:
(...) AND (...)
(...) OR (...)
NOT (...)
2) dentro le parentesi ci metti l'espressione EQUIVALENTE al link ricevuto in ingresso nel diagramma
3) sviluppi le parentesi secondo la priorita degli operatori. SE OR = + e AND = *, usi la normale proprieta' distributiva.
4) fai le semplificazioni. ad esempio:
x AND (NOT x) = FALSE -- SEMPRE
x OR (NOT x) = TRUE -- SEMPRE
TRUE AND x = x
FALSE AND x = FALSE
TRUE OR x = TRUE
FALSE OR x = x
5) raccogli a fattor comune:
x AND y OR x AND z => x AND (y OR z)
6) fine