💾 Archived View for dcreager.net › sets › dnf.gmi captured on 2024-06-16 at 12:33:35. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-05-10)

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

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