¶Disjunctive normal form
(Capitals are negated)
¶Negation
¬(abC ∪ dEfG) = ¬(abC) ∩ ¬(dEfG)
= (A ∪ B ∪ c) ∩ (D ∪ e ∪ F ∪ g)
= AD ∪ Ae ∪ AF ∪ Ag ∪ BD ∪ Be ∪ BF ∪ Bg ∪ cD ∪ ce ∪ cF ∪ cg
This page is also available via Gemini at gemini://dcreager.net/sets/dnf.gmi