Convert bug

1. o=(abc'+c'd')(ab'c'd) not work
2. i saw you provide two simplify, but you need to provide a button "no simplify"