On the Algebra of Logic