From 64be4dc814d85903c0d36afbd7125b8e771d267d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 3 Mar 2021 14:13:55 +0100 Subject: [PATCH] * doc/tl/tl.tex: Typo reported by Florian. --- doc/tl/tl.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex index 066bf1c94..39e0f1f48 100644 --- a/doc/tl/tl.tex +++ b/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*}