[计] quantifier-free conjunctive-normal form

zì yóu liàng cí hé qǔ fàn shì ㄗˋ ㄧㄡˊ ㄌㄧㄤˋ ㄘˊ ㄏㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ