A rule of inference used in propositional logic, exportation is used to manipulate statements in a logical argument. Called 'EXP.' for short. It goes like this.

{(P∧Q)→R} = {P→(Q→R)}. And Vice versa

If we have Rain (P) and Freezing temperatures (Q), then we have Sleet (R).

*is the same as*

If we have Rain, then if we have Freezing temperatures, then we have Sleet.

Back up to Rules of Inference

Review your Logic symbols