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