De Morgan algebra

Etymology
Named after British mathematician and logician (1806–1871). The notion was introduced by.

Noun

 * 1)  A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws.