Cette séance de cours couvre les règles de base de la conception logique, en mettant l'accent sur la valeur node et les règles node-conflict-free. Il se penche également sur l'algorithme d'expansion de Shannon, démontrant comment une fonction booléenne peut être décomposée par rapport à ses variables. Des exemples de fonctions de commutation complexes et de résidus de fonctions booléennes sont présentés, illustrant l'application de ces concepts dans la conception logique. La séance de cours explore en outre les réseaux d'arbres, y compris les réseaux d'arbres libres et uniformes, et introduit le concept de réseaux d'arbres 0/1. Les pièges de l'expansion de Shannon sont discutés, soulignant l'importance d'une sélection correcte des variables. En outre, le programme et les options de mise en œuvre pour les systèmes numériques, tels que ASICS et FPGA, sont décrits.