加法標準型
【かほうひょうじゅんがた】
【kahouhyoujungata】
析取范式