Noun
De Morgan algebra (plural De Morgan algebras) (algebra, order theory) A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws.