An algebra L = L = (A; V, Λ, *, +, 0, 1) of type (2, 2, 1, 1, 0, 0) is called a distributive double p-algebra whenever its reduct (A, V, Λ, 0, 1) is a distributive (0, 1)-lattice that, for any a ∈ A, contains a greatest element a* such that a Λ a* = 0 and a least element a+ for which a v a+ = 1.