I can't understand how absorption law is obtained. I get following steps.##a∨(a∧𝑏) = (a∧⊤)∨(a∧𝑏)##
##=(a∨a)∧(a∨b)∧(⊤∨a)∧(⊤∨b)##
then,
I come up with ##=a∧(a∨b)∧⊤∧⊤## so ##=a∧(a∨b)##
But, I cannot get ##a∧(⊤∨𝑏)##, as shown on here, therefore ##a##.
Can you help me? I cannot obtain ##a∧(⊤∨𝑏)##...