The Algebra of Logic