Section 4.2

Equivalent Transformations of Formulas