Title: Algebra of Logic