De Morgan algebras