Use logic. Logical equivalence. table of equivalences. equivalence law. equivalence in logic.