Uma afirmação equivalente à afirmação "Se bebo, então não dirijo" é
Se não bebo, então não dirijo.
Se não dirijo, então não bebo.
Se não dirijo, então bebo.
Se não bebo, então dirijo.
Se dirijo, então não bebo.