In questo libro vengono accennati alcuni concetti teorici sulle reti logiche per introdurre un possibile algoritmo di risoluzione capace di minimizzazione una rete combinatoria o sequenziale. Il software a corredo è descritto nei dettagli implementativi e completo di esempi pratici nel suo utilizzo.