Disjunctive normal form: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

12 November 2024

  • curprev 12:3912:39, 12 November 2024 imported>JLee-Jones m 17,090 bytes +17,090 The first two formulas are not in negation normal form because the negation is not applied to literals.