title: How to convert a boolean formula to CNF or DNF
body: <p>Say I have a boolean formula
   a or (b and c)</p>
  
  <p>I would wish to convert it to CNF
  i.e. 
  (a and b) or (a and c)</p>
  
  <p>Is there any existing library that could achieve this?</p>