ABSTRACT
In Chapter 1, we focus on propositional logic and various methods of proving validity of propositions. The concept of logic has many applications in computer science to develop computer programs, to verify the logic of program and also in electronics to design circuits.
