Recent content by mathrookie

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∧(⊤∨𝑏)##...