* doc/tl/tl.tex: Typo reported by Florian.

doc/tl/tl.tex

@@ -1424,7 +1424,7 @@ $\NOT$ operator.
   f \EQUIV g & \equiv ((\NOT f)\AND(\NOT g))\OR(f\AND g) &
   \NOT(f \EQUIV g) & \equiv ((\NOT f)\AND g)\OR(f\AND\NOT g) &
   \NOT(f \OR g) & \equiv (\NOT f)\AND(\NOT g) \\
-  f \IMPLIES g & \equiv (\NOT f) \AND g &
+  f \IMPLIES g & \equiv (\NOT f) \OR g &
   \NOT(f \IMPLIES g) & \equiv f \AND \NOT g
 \end{align*}