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