Statements can be simplified by using different logical equivalences (usually different logically equivalent statements) to transform the form of the statement.