[计] principal conjunctive normal form

zhǔ hé qǔ fàn shì ㄓㄨˇ ㄏㄜˊ ㄑㄩˇ ㄈㄢˋ ㄕˋ