This section has moved to 2-6-de-morgan-s-laws.