This book constitutes an introduction to the theory of binary switch­ ing networks (binary logic circuits) such as are encountered in industrial automatic systems, in communications networks and, more particularly, in digital computers. These logic circuits, with or without memory, (sequential circuits, combinational circuits) play an increasing part in many sectors of in­ dustry. They are, naturally, to be found in digital computers where, by means of an assembly (often complex) of elerpentary circuits, the func­ tions of computation and decision which are basic to the treatment of information, are performed. In their turn these computers form the heart of an increasing number of digital systems to which they are coupled by interface units which, themselves, fulfil complex functions of information processing. Thus the digital techniques penetrate ever more deeply into industrial and scientific activities in the form of systems with varying degrees of specialization, from the wired-in device with fixed structure to those systems centered on a general-purpose programmable com­ puter. In addition, the present possibility of mass producing microminiaturi­ sed logic circuits (integrated circuits, etc. ) gives a foretaste of the intro­ duction of these techniques into the more familiar aspects of everyday life. The present work is devoted to an exposition of the algebraic techni­ ques nesessary for the study and synthesis of such logic networks.

This book presents the main results of the 19th Latin American Congress of Automatic Control held in November 2022 in Havana, Cuba. The Congress showed several main research results obtained by researchers from diverse countries in the last four years.