- #1

- 1

- 0

I know it can be shown that a AND (b OR c) >= (a AND b) OR (a AND c) for a general lattice, and that if we can show the opposite, that a AND (b OR c) <= (a AND b) OR (a AND c) that implies the two are equal. How do I prove this second part? I am not experienced with number theory, and I have struggled to get a meaningful expression of gcd's and lcm's.

Alternatively, is there a different way you can show me how to prove this?

Thank you!