Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Introduction to Boolean algebra. De Morgan''s laws, Venn diagram, Boolean algebra (logic), Propositional calculus, Hilbert system, Sequent calculus, Boolean algebra (structure), Intuitionistic logic, Relation algebra, Boolean logic, Boolean algebras canonically defined, George Boole