Conjunctive normal form: Revision history

10 May 2025

• curprev 17:5917:59, 10 May 2025 Marc Schroeder talk contribs m 30,366 bytes +145 →Maximum number of disjunctions undo

8 May 2025

• curprev 11:1411:14, 8 May 2025 Marc Schroeder talk contribs m 30,221 bytes +79 →Definition: can understand faster undo

4 May 2025

• curprev 08:5908:59, 4 May 2025 Marc Schroeder talk contribs m 30,142 bytes −6 No edit summary undo

14 April 2025

• curprev 18:0618:06, 14 April 2025 MrSwedishMeatballs talk contribs 30,148 bytes 0 →Definition undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 18:0518:05, 14 April 2025 MrSwedishMeatballs talk contribs 30,148 bytes −2 →Definition undo Tags: Mobile edit Mobile web edit Advanced mobile edit

11 February 2025

• curprev 16:1816:18, 11 February 2025 DataSculptor talk contribs m 30,150 bytes +2 logic -> algebra undo Tag: Visual edit

23 November 2024

• curprev 08:3808:38, 23 November 2024 Chai T. Rex talk contribs 30,148 bytes −102 CCNF is canonical. CNF isn't. For example a AND a is (inefficient) CNF. a AND a AND a is also (inefficient) CNF. They're equivalent logically, but they don't have the same form. undo

14 November 2024

• curprev 00:0500:05, 14 November 2024 Kvng talk contribs m 30,250 bytes +1 WP:ADOPTYPO boolean -> Boolean undo

23 September 2024

• curprev 07:0707:07, 23 September 2024 Citation bot talk contribs 30,249 bytes +25 Alter: isbn, pages, book-title. Add: date, publisher. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by Jay8g | #UCB_toolbar undo

10 June 2024

• curprev 22:5222:52, 10 June 2024 Thiagovscoelho talk contribs 30,224 bytes +38 →See also undo

17 April 2024

• curprev 23:1023:10, 17 April 2024 Hellacioussatyr talk contribs 30,186 bytes −3 separate explanatory footnotes from citations undo Tag: 2017 wikitext editor
• curprev 23:0223:02, 17 April 2024 Hellacioussatyr talk contribs 30,189 bytes +18 →References: unify list undo Tag: 2017 wikitext editor
• curprev 23:0123:01, 17 April 2024 Hellacioussatyr talk contribs 30,171 bytes +134 rm :-indents (MOS:INDENT) undo Tag: 2017 wikitext editor

15 April 2024

• curprev 17:3517:35, 15 April 2024 Thiagovscoelho talk contribs 30,037 bytes +26 No edit summary undo

14 February 2024

• curprev 10:3110:31, 14 February 2024 AlexOltean talk contribs 30,011 bytes −57 →Definition: Wrong remark in footnotes. Said formulas were not in NNF. undo Tags: references removed Mobile edit Mobile web edit

31 January 2024

• curprev 12:0912:09, 31 January 2024 Darcourse talk contribs m 30,068 bytes +16 →Conversion by syntactic means: focused link undo

9 January 2024

• curprev 21:5121:51, 9 January 2024 MariusWeidner talk contribs m 30,052 bytes 0 fix: typo undo
• curprev 12:1212:12, 9 January 2024 85.65.131.156 talk 30,052 bytes 0 DFN -> DNF undo

7 January 2024

• curprev 07:1407:14, 7 January 2024 Bruce1ee talk contribs m 30,052 bytes +5 fixed lint errors – self-closed tags undo
• curprev 01:5601:56, 7 January 2024 Marc Schroeder talk contribs m 30,047 bytes +336 Changed the indices of conjunctions, disjunctions and literals. Now they look like in the section 'First-order logic'. undo

6 January 2024

• curprev 16:2016:20, 6 January 2024 Marc Schroeder talk contribs m 29,711 bytes +191 →See also undo

5 January 2024

• curprev 02:4702:47, 5 January 2024 Marc Schroeder talk contribs m 29,520 bytes +4 →Basic algorithm undo
• curprev 02:2902:29, 5 January 2024 Marc Schroeder talk contribs m 29,516 bytes +29 →Conversion by syntactic means: better formulation undo

4 January 2024

• curprev 02:2602:26, 4 January 2024 Marc Schroeder talk contribs m 29,487 bytes +70 →Converting from first-order logic: more specific ref undo

2 January 2024

• curprev 15:1515:15, 2 January 2024 Marc Schroeder talk contribs 29,417 bytes +1,649 Added the section == Maximum number of disjunctions == undo
• curprev 12:3512:35, 2 January 2024 Marc Schroeder talk contribs m 27,768 bytes +47 No edit summary undo
• curprev 12:1612:16, 2 January 2024 Marc Schroeder talk contribs m 27,721 bytes −555 Removed confusing text, which is not necessary anymore as the context-free grammar is given. The aim is to make the article (to some extent) a dual of the article Disjunctive normal form undo
• curprev 05:4105:41, 2 January 2024 Marc Schroeder talk contribs m 28,276 bytes 0 →References undo
• curprev 05:3905:39, 2 January 2024 Marc Schroeder talk contribs m 28,276 bytes +338 added a reference undo

1 January 2024

• curprev 21:0421:04, 1 January 2024 Marc Schroeder talk contribs m 27,938 bytes +39 →Conversion by semantic means undo
• curprev 18:2618:26, 1 January 2024 Marc Schroeder talk contribs m 27,899 bytes +14 →Basic algorithm undo
• curprev 18:0818:08, 1 January 2024 Marc Schroeder talk contribs 27,885 bytes +2,666 →Basic algorithm: Added the section ==== ... by semantic means ==== undo
• curprev 11:3711:37, 1 January 2024 Marc Schroeder talk contribs m 25,219 bytes +14 →Basic algorithm undo

31 December 2023

• curprev 12:5612:56, 31 December 2023 Marc Schroeder talk contribs m 25,205 bytes 0 no change undo
• curprev 12:4912:49, 31 December 2023 Marc Schroeder talk contribs m 25,205 bytes +5 →Basic algorithm undo
• curprev 12:3112:31, 31 December 2023 Marc Schroeder talk contribs 25,200 bytes +919 updated the references undo
• curprev 04:0904:09, 31 December 2023 Marc Schroeder talk contribs 24,281 bytes +52 No edit summary undo
• curprev 03:4203:42, 31 December 2023 Marc Schroeder talk contribs 24,229 bytes +309 →Definition: Supplied the context-free grammar for CNF undo
• curprev 02:0702:07, 31 December 2023 Marc Schroeder talk contribs 23,920 bytes +2,983 →Conversion into CNF: Added basic algorithm to convert a propositional formula to CNF undo

28 December 2023

• curprev 11:0511:05, 28 December 2023 Marc Schroeder talk contribs m 20,937 bytes −50 →Examples and non-examples: ce for more encyclopedia-like style undo

27 December 2023

• curprev 13:3513:35, 27 December 2023 Marc Schroeder talk contribs m 20,987 bytes +107 →Examples and non-examples: Conjunctive normal form compared with negation normal form, in a footnote undo

13 December 2023

• curprev 01:5201:52, 13 December 2023 A3nm talk contribs 20,880 bytes +35 Category:Knowledge compilation undo Tag: 2017 wikitext editor

30 August 2023

• curprev 13:5013:50, 30 August 2023 Arambasek10 talk contribs m 20,845 bytes −98 Revising example CNF formula discussion for clarity undo

23 December 2022

• curprev 06:1806:18, 23 December 2022 HeyElliott talk contribs 20,943 bytes +12 Clean up/copyedit undo Tag: Visual edit

8 July 2022

• curprev 13:3913:39, 8 July 2022 Macrakis talk contribs 20,931 bytes +56 Adding local short description: "Standard form of Boolean function", overriding Wikidata description "concept in Boolean logic" undo Tag: Shortdesc helper
• curprev 09:1709:17, 8 July 2022 Bigbossfarin talk contribs 20,875 bytes +147 →External links undo Tag: 2017 wikitext editor

22 June 2022

• curprev 09:0109:01, 22 June 2022 131.111.5.143 talk 20,728 bytes 0 →Computational complexity: I was wrong... each conjunct is a disjunction and misread conjunct as conjunction previously -- apologies undo Tag: Manual revert
• curprev 09:0009:00, 22 June 2022 131.111.5.143 talk 20,728 bytes 0 →Computational complexity: confused conjunct and disjunct undo Tag: Reverted

8 February 2022

• curprev 20:0220:02, 8 February 2022 AryamanA talk contribs 20,728 bytes +36 No edit summary undo

24 December 2021

• curprev 03:5203:52, 24 December 2021 2409:4043:2b93:1dfd:715b:81d4:e041:3b9f talk 20,692 bytes −22 No edit summary undo Tags: Manual revert Mobile edit Mobile web edit