Tag: “De Morgan’s Law.”