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

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

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

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

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

та

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

Див. також

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

Джерела

• Биркгоф Г. Теория решёток / пер. с англ. В. Н. Салий ; под ред. Л. А. Скорнякова. — 3-е. — Москва : Наука, 1984. — 568 с.(рос.)