alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

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

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-03-03 14:13:55 +01:00
parent caa960d857
commit 64be4dc814
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/tl/tl.tex
View file

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