@Carl Love  Thanks a lot for the attention,
In fact, I did not specify a specific form to convert to, I am studying the satisfiability topic and i want to solve the satisfiability problem by converting it to an algebraic structure (up till now I do not know what it is) but i found in a master thesis a recursive definition of a polynomial corresponding to a propositional formula and the author said that he obtained that definition from "maple". so, i ask can i convert  a propositional formula to another algebraic form? thanks.

@Carl Love 

can I convert the propositional formula to another algebraic structure other than a polynomial? thanks.