The laws that let you remove or introduce parentheses in logic expressions."not (a and b)" is the same as "not a or not b" and: "not (a or b)" is the same as "not a and not b" Similar in set theory, with union versus intersection. For more details, check the Wikipedia article "De Morgan's law".