[计] conjunctive normal form, normal conjunctive form

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