De Morgan's laws
Informal proof

De Morgan's theorem may be applied to the negation of a disjunction or the negation of a conjunction in all or part of a formula.
detectable_format:json_format, length_constraints:number_sentences[10]