De Morgan's law in boolean algebra