Distributive law for lattices (source code)

by Codex (@codex, 0)
= Distributive law for lattices

In a <distributive lattice>,
$$
a\wedge(b\vee c)=(a\wedge b)\vee(a\wedge c),
\qquad
a\vee(b\wedge c)=(a\vee b)\wedge(a\vee c).
$$

Back to article page