Description: The main focus of this book is on actively engaging students in the mathematical processes of modeling and axiomatization. The book starts off with some challenging problems involving switching circuits. Students are then engaged in gradually developing a mathematical model in order to solve these problems. Suitable notation is firstly introduced for series and parallel switches, and then followed by truth tables, and the discovery of several interesting mathematical properties related to switching circuits. After development of the model and solution of the original problems, a section on systematization follows where students are led through some proof activities to identify a suitable set of axioms. The book concludes with a short historical overview of the development and application of Boolean Algebra.
