Maths›03. Logic and Foundations1.3 Logical EquivalenceLogical equivalence, truth preserving transformations, and basic laws for rewriting propositional formulas.