title: how to convert boolean expression to cnf file?
body: <p>i need to use sat solver for checking satisfiability of boolean expressions..</p>
  
  <p>I have complex boolean expression like this</p>
  
  <p><img src="https://i.stack.imgur.com/eAEts.png" alt="alt text"></p>
  
  <p>is there any automatic cnf file converter so that i can give it straight to sat solver?</p>
  
  <p>I read the cnf format file.. but how to express this expression in .cnf file? i get confused when there is a conjunction inside the paranthesis and how to express --> and &lt;-> ? please help me</p>