Understanding the concept of logical equivalence between propositional formulas through truth tables, semantic tableaux, and algebraic transformations, and its importance in formal proofs