そんな名前ははじめてきいたが、吸収律で調べれば?
ブール代数で、andの単位元を1とすると、
E1∨(E1∧E2) = (E1∧1)∨(E1∧E2) = E1∧(1∨E2) = E1∧1 = E1