Conjunctive normal form: Revision history

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
• curprev 03:5103:51, 24 December 2021‎ 2409:4043:2b93:1dfd:715b:81d4:e041:3b9f talk‎ 20,714 bytes +22‎ No edit summary undo Tags: Reverted Mobile edit Mobile web edit

7 November 2021

• curprev 20:0320:03, 7 November 2021‎ ClueBot NG talk contribs‎ m 20,692 bytes −4‎ Reverting possible vandalism by 130.88.226.10 to version by 147.210.204.186. Report False Positive? Thanks, ClueBot NG. (4072590) (Bot) undo Tag: Rollback
• curprev 20:0320:03, 7 November 2021‎ 130.88.226.10 talk‎ 20,696 bytes +4‎ No edit summary undo Tag: Reverted

15 October 2021

• curprev 12:5912:59, 15 October 2021‎ 147.210.204.186 talk‎ 20,692 bytes −16‎ →‎First-order logic undo Tag: Manual revert
• curprev 12:5812:58, 15 October 2021‎ 147.210.204.186 talk‎ 20,708 bytes +16‎ →‎First-order logic undo Tag: Reverted

6 May 2021

• curprev 17:2517:25, 6 May 2021‎ GalacticShoe talk contribs‎ m 20,692 bytes 0‎ Capitalized Skolem (proper name) undo

30 April 2021

• curprev 14:5614:56, 30 April 2021‎ GreenC bot talk contribs‎ 20,692 bytes +46‎ Rescued 1 archive link; reformat 1 link. Wayback Medic 2.5 undo

21 April 2021

• curprev 01:4001:40, 21 April 2021‎ Dokidaki-ylc talk contribs‎ m 20,646 bytes +22‎ No edit summary undo Tag: Visual edit

9 April 2021

• curprev 19:2019:20, 9 April 2021‎ Macrakis talk contribs‎ 20,624 bytes −25‎ no one uses the notation () for the empty disjunct undo
• curprev 19:1719:17, 9 April 2021‎ Macrakis talk contribs‎ 20,649 bytes +165‎ clearer examples undo