基本解釋邏輯積標(biāo)準(zhǔn)形詞組短語(yǔ)短語(yǔ)conjunctive canonical form 乗法標(biāo)準(zhǔn)形canonical conjunctive form更多詞組