A b s t r a c t. In this paper we study some algebraic properties of the variety of Boolean correlation lattices. We give a characterization of congruences and simple algebras of the variety and we describe the algebra with a finite set of free generators.