💾 Archived View for dcreager.net › sets › dnf.gmi captured on 2024-05-10 at 11:03:46. Gemini links have been rewritten to link to archived content

View Raw

More Information

-=-=-=-=-=-=-

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