Дистрибутивна ґратка

Дистрибутивна ґратка — ґратка, в якій справедлива тотожність

$(a+b)c=ac+bc$

рівносильна тотожності

$ab+c=(a+c)(b+c)$

та

$(a+b)(a+c)(b+c)=ab+ac+bc$

Див. також

• Булева алгебра

Література

• Биркгоф Г. Теория решёток. — М.: Наука, 1984. — 568 с.