On Minimum Representations of Matched Formulas