Wyniki wyszukiwania:

This book is about the logic of Boolean equations. Such equations were central in the "algebra of logic" created in 1847 by Boole 12, 13] and devel- oped by others, notably Schroder 178], in the remainder of the nineteenth century. Boolean equations are also the language by which digital circuits are described today. Logicians in the twentieth century have abandoned Boole's equation- based logic in favor of the more powerful predicate calculus. As a result, digital engineers-and others who use Boole's language routinely-remain largely unaware of its utility as a medium for reasoning. The...

This book is about the logic of Boolean equations. Such equations were central in the "algebra of logic" created in 1847 by Boole 12, 13] and devel- oped by others, notably Schroder 178], in the remainder of the nineteenth century. Boolean equations are also the language by which digital circuits are described today. Logicians in the twentieth century have abandoned Boole's equation- based logic in favor of the more powerful predicate calculus. As a result, digital engineers-and others who use Boole's language routinely-remain largely unaware of its utility as a medium for reasoning. The...