title: Convert clauses to CNF
body: <p>I want to transform my clauses to conjuctive normal form. Clauses are changed each time i run my program, so i guess i need to built-in a tool in my program to do this for me. Is there any suggestionn how to implement this?? i also found some libraries like:<br>
  <a href="http://symbolaris.com/orbital/Orbital-doc/api/orbital/moon/logic/ClassicalLogic.Utilities.html#conjunctiveForm(orbital.logic.imp.Formula)" rel="nofollow noreferrer">Orbital library</a>. I am new to logic programming and i have never used them so, its quite difficult to get through them. I also tried to find an example to clear things up, but nothing came up. I am builting my program in java language. Please help...</p>
  
  <p>Thanks in advance!</p>