Disjunctive normal form: Revision history

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.

30 September 2024

  • curprev 01:1501:15, 30 September 2024imported>BD2412m 17,064 bytes +17,064 Clean up spacing around commas and other punctuation fixes, replaced: ,A → , A, ; → ;