Move rust translation

Author: konstin

src/internals/incompatibilities.md

@@ -90,8 +90,6 @@ With incompatibilities, we would note
 
 This is the simplified version of the rule of resolution.
 For the generalization, let's write them as [boolean expressions][boolean_expression].
-In rust terms, "\\( \neg \\)" means "not"/`!` (\\( \neg T \\) and \\( \overline{T} \\) are different
-notations for the same thing), "\\( \land \\)" means "and"/`&&`, "\\( \lor \\)" means "or"/`||`.
 
 \\[               \neg (T_a \land \overline{T_b}) \quad \land \quad
                   \neg (T_b \land \overline{T_c}) \quad

src/internals/terms.md

@@ -59,7 +59,10 @@ based on those ranges is defined as follows,
 \neg [r_1] \land \neg [r_2] &=& \neg [r_1 \cup r_2].  \nonumber \\\\
 \end{eqnarray}\\]
 
-And for any two terms \\(T_1\\) and \\(T_2\\), their union and intersection are related by
+In rust terms, "\\( \neg \\)" means "not"/`!` (\\( \neg T \\),
+"\\( \land \\)" means "and"/, "\\( \lor \\)" means "or"/`||`.
+
+And for any two terms \\(T_1\\) and \\(T_2\\), their union and intersection are related by De Morgan's laws
 
 \\[ \overline{T_1 \lor T_2} = \overline{T_1} \land \overline{T_1}. \\]