title: How to convert a formula to Disjunctive Normal Form?
body: <p>Say given a formula</p>
  
  <p>(t1>=2  or t2>=3) and (t3>=1)</p>
  
  <p>I wish to get its disjunctive normal form
  (t1>=2 and t3>=1) or (t2>=3 and t3>=1)</p>
  
  <p>How to achieve this in Z3?</p>