[计] prenex-disjunctive normal form

qián shù zhé qǔ fàn shì ㄑㄧㄢˊ ㄕㄨˋ ㄓㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ