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