Recall that an algebra $(A,\sim)$ is a De Morgan algebra if $A$ is a bounded distributive lattice and $\sim$ is a unary operation which satisfies:
$\sim {\sim} (x\vee y)=\sim y)={\sim} x\wedge \sim {\sim} y$ and $\sim\sim {\sim\sim} x=x$.