Differences

This shows you the differences between two versions of the page.

--- sav08:deciding_quantifier-free_fol [2009/05/05 22:49]
vkuncak
+++ sav08:deciding_quantifier-free_fol [2015/04/21 17:30] (current)
@@ Line 8: / Line 8: @@
 Example: is the following formula satisfiable:
-\[
+\begin{equation*}
   a=f(a) \land a \neq b
-\]
+\end{equation*}
 is the following
-\[
+\begin{equation*}
    (f(a)=b \lor (f(f(f(a))) = a \land f(a) = f(b))) \land f(f(f(f(a)) \neq b \land b=f(b)
-\]
+\end{equation*}