We know formula of boolean algebra in canonical disjunctive normal form has or may be converted to [Zhegalkin polynomial](https://en.wikipedia.org/wiki/Zhegalkin_polynomial).


Is there any approach to convert first order formula into algebraic function or other functions? 



Conversion of logic formula into algebraic formula
Tarski's [cylindric algebras](https://en.wikipedia.org/wiki/Cylindric_algebra) are an algebraization of first-order logic with equality.


