De Morgan algebra (source code)

= De Morgan algebra
{wiki=De_Morgan_algebra}