formula_3やformula_4のような項は計算(簡約)すると4のようなカノニカルな項(canonical term)になる。