Several tactics do iterated decomposition of clauses. Here are a few that are commonly used, along with the connectives that they work on.
If a guard term is encountered in the process of decomposing the conclusion, the guard term is removed and decomposition of the conclusion stops.