Dans ce livre d'exercices corrigés, l'accent est mis sur les méthodes de raisonnement permettant l'analyse ou la synthèse des systèmes logiques relativement simples, combinatoires ou séquentiels.