De Morgan algebras, Łukasiewicz algebras Distributive lattices mathematics