Algebra logiki