Du darfst natürlich auch so lange umformen bis du eine Formel bekommst, die bekanntermaßen eine Tautologie ist.
\(\begin{aligned} & & \left(A\implies B\right) & \iff\left(\neg B\implies\neg A\right)\\ \equiv\, & & \left(\neg A\vee B\right) & \iff\left(\neg\left(\neg B\right)\vee\neg A\right)\\ \equiv\, & & \left(\neg A\vee B\right) & \iff\left(B\vee\neg A\right)\\ \equiv\, & & \left(\neg A\vee B\right) & \iff\left(\neg A\vee B\right) \end{aligned}\)