rentii, 10/22/2007 6:18 PM:Una volta ottenuti tutti i possibili implicanti ridondanti, come faccio a sapere che il circuito sarà privo di alee?