Boolean double negation

Double negation is the idea that if we have a NOT of a NOT, we can simplify it to just the thing itself. So, for example, simplifies to just .

This works with larger expressions, too. For example:

This is sometimes also called the double complement law.