【MoL】11 Simplification

• alternation normal formを、より短い表現に等価(equibalent)変換していくことをsimplificationと言う。その技法の紹介。
  
• simplificationにはうまいアルゴリズムは存在しない。よって、技法と経験を駆使してやるしかない。
  

こつこつ。