Lattices with defining relations close to distributivity

We consider the $3$-generated lattices whose generators enjoy the defining relations of the type $a\vee(b\wedge c)=(a\vee b)\wedge(a\vee c)$. Moreover, if the lattice is finite then we obtain its diagram; otherwise, we prove that the corresponding lattice is infinite.