1.
The statement A→(B→A)A \rightarrow (B \rightarrow A) is equivalent to: