无关项

没有占满定义空间（没有用到或者不可能存在 don’t care or can’t happen）

没有定义就把这些定义拓展，方便运算化简

用 d 表示