I know that a Boolean lattice must be distributive. But what with [these lattices][1]? Are these distributive? How to recognize which lattices are distributive or not only by looking on their diagrams? Is it even possible? [1]: http://iete-elan.ac.in/SolQP/ac_10_typs_08_files/image160.jpg