Решетки с определяющими соотношениями, близкими к дистрибутивности

Рассматриваются $3$-порожденные решетки, порождающие элементы которых удовлетворяют соотношениям типа $a\vee(b\wedge c)=(a\vee b)\wedge(a\vee c)$. Если решетка при этом оказывается конечной, получено ее представление в виде диаграммы, для остальных случаев доказана бесконечность соответствующей решетки.