column value
英文名稱 conjunctive normal form
中文名稱 合取正規式