De Morgan's laws: Revision history

2 October 2024

• curprev 01:0801:08, 2 October 2024 Despyte talk contribs 22,866 bytes −14 Maybe? You can revert if I wasn't supposed to do that. undo

25 September 2024

• curprev 20:1620:16, 25 September 2024 Tokisaki Kurumi talk contribs m 22,880 bytes −9 Cleaned up using AutoEd undo

20 September 2024

• curprev 13:5313:53, 20 September 2024 188.152.112.124 talk 22,889 bytes +4 →Engineering: Just for uniformity of style undo Tag: Visual edit

17 September 2024

• curprev 16:4716:47, 17 September 2024 HaydenWong talk contribs 22,885 bytes −1,283 Redundant, as they are described in the next section, it has made the introduction longer undo Tag: 2017 wikitext editor

11 September 2024

• curprev 13:2313:23, 11 September 2024 HaydenWong talk contribs 24,168 bytes +800 →Set theory and Boolean algebra: split set theory and boolean algebra, they are slightly different undo Tag: Visual edit
• curprev 12:3912:39, 11 September 2024 HaydenWong talk contribs 23,368 bytes +49 The formal proof seems like not for Boolean algebra, the informal one seems like is for Boolean algebra, reworded the introduction a bit, the set theory is not for Boolean algebra undo Tag: Visual edit

17 July 2024

• curprev 19:1719:17, 17 July 2024 Mmalchuk talk contribs m 23,319 bytes +180 →In computer engineering undo Tag: Visual edit

11 July 2024

• curprev 21:2321:23, 11 July 2024 Botterweg talk contribs 23,139 bytes −42 →See also: Alphabetizing + adding Homogeneity (linguistics) which is relevant in that it involves failures of DeMorgan's Laws in natural language undo

2 July 2024

• curprev 00:5000:50, 2 July 2024 Mindmatrix talk contribs m 23,181 bytes +10 Reverted edit by 113.190.226.16 (talk) to last version by Thiagovscoelho undo Tag: Rollback

1 July 2024

• curprev 23:4923:49, 1 July 2024 113.190.226.16 talk 23,171 bytes −10 →Unions and intersections of any number of sets undo Tag: Reverted

10 June 2024

• curprev 22:5022:50, 10 June 2024 Thiagovscoelho talk contribs 23,181 bytes +38 →See also undo

7 June 2024

• curprev 14:2614:26, 7 June 2024 FBP talk contribs m 23,143 bytes −14 Simplified the plain English expression undo

3 June 2024

• curprev 05:2205:22, 3 June 2024 David Eppstein talk contribs 23,157 bytes +241 →In computer engineering: supply requested citation undo

13 May 2024

• curprev 14:5014:50, 13 May 2024 OwenBlacker talk contribs m 22,916 bytes +163 →History: Refs; Language tagging undo

11 May 2024

• curprev 15:0615:06, 11 May 2024 Kaiphom talk contribs 22,753 bytes +1 →Part 2: Though 'or' provides a correct implication, using this argument cannot conclusively claim that <math>x \not\in \overline{A} \cup \overline{B}</math>. 'and' is correct and gives a much stricter condition, allowing <math>x \not\in \overline{A} \cup \overline{B}</math> to be guaranteed. <math>x \in A</math> and <math>x \in B</math>, and thus <math>x \not\in \overline{A}</math> or <math>x \not\in \overline{B}</math>. However, that means <math>x \not\in \overline{A} \cup \overline{B... undo Tags: Mobile edit Mobile web edit

7 May 2024

• curprev 14:1414:14, 7 May 2024 DaxServer talk contribs 22,752 bytes −131 rm spam, tag undo Tag: Visual edit

6 April 2024

• curprev 08:2908:29, 6 April 2024 Jef statml talk contribs 22,883 bytes −1 corrected minor error in proof undo

6 February 2024

• curprev 00:2200:22, 6 February 2024 D.Coroian talk contribs 22,884 bytes +11 →Formal proof: Fixed section link undo Tags: Mobile edit Mobile web edit
• curprev 00:1700:17, 6 February 2024 D.Coroian talk contribs 22,873 bytes −10 →Formal proof: Made notation more consistent and less confusing undo Tags: Mobile edit Mobile web edit

31 January 2024

• curprev 12:1112:11, 31 January 2024 Darcourse talk contribs 22,883 bytes +12 →Formal notation: ytpos undo

21 January 2024

• curprev 04:3904:39, 21 January 2024 InternetArchiveBot talk contribs 22,871 bytes +158 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

31 December 2023

• curprev 13:2213:22, 31 December 2023 Marc Schroeder talk contribs m 22,713 bytes −173 →Formal notation: Removed a clumsy paraphrase. undo

30 December 2023

• curprev 16:0716:07, 30 December 2023 Marc Schroeder talk contribs 22,886 bytes +805 →Formal notation: (1) added '''generalized De Morgan’s laws''' (like sub set theory: Unions and intersections of any number of sets) (2) layout improvements undo

9 November 2023

• curprev 13:0613:06, 9 November 2023 Andrei Stroe talk contribs 22,081 bytes +8 →top: escape these undo

7 October 2023

• curprev 00:4400:44, 7 October 2023 70.27.1.63 talk 22,073 bytes −1,116 →Substitution form: This paragraph doesn't make mathematical sense, and its contents are nowhere in the cited article. undo Tags: Mobile edit Mobile web edit

20 September 2023

• curprev 09:3209:32, 20 September 2023 GMH Melbourne talk contribs 23,189 bytes 0 Reverting edit(s) by Onlyrama (talk) to rev. 1175104273 by 216.165.95.140: Vandalism (RW 16.1) undo Tags: RW Undo
• curprev 09:2609:26, 20 September 2023 Onlyrama talk contribs m 23,189 bytes 0 No edit summary undo Tags: Reverted missing file added

12 September 2023

• curprev 20:3920:39, 12 September 2023 216.165.95.140 talk 23,189 bytes +1 Wrong nationality undo Tags: Manual revert Visual edit
• curprev 13:3313:33, 12 September 2023 87.224.100.100 talk 23,188 bytes −1 No edit summary undo Tag: Reverted

22 August 2023

• curprev 19:1019:10, 22 August 2023 Saolof talk contribs m 23,189 bytes +59 →In intuitionistic logic: made weak excluded middle an article link undo

10 August 2023

• curprev 02:2102:21, 10 August 2023 Citation bot talk contribs 23,130 bytes +33 Add: isbn, date, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Rules of inference | #UCB_Category 35/44 undo

3 August 2023

• curprev 21:3821:38, 3 August 2023 216.99.209.26 talk 23,097 bytes −2 →Engineering: remove stray backslash in formula; caused extra space before B undo Tag: Manual revert
• curprev 19:4519:45, 3 August 2023 Mgriessler talk contribs m 23,099 bytes +10 →Formal notation: In the engineering section there was an error in the not (A and B) equivalency. undo Tag: Reverted

31 July 2023

• curprev 10:1410:14, 31 July 2023 14.140.81.58 talk 23,089 bytes −8 →Engineering undo Tag: Reverted

28 June 2023

• curprev 23:4323:43, 28 June 2023 Parekhnish talk contribs 23,097 bytes −4 Undid revision 1162337664 by 102.218.13.136 (talk) undo Tag: Undo
• curprev 13:0813:08, 28 June 2023 102.218.13.136 talk 23,101 bytes +4 Increased accuracy undo Tags: Reverted Mobile edit Mobile web edit

1 June 2023

• curprev 18:0818:08, 1 June 2023 IllusionTest talk contribs 23,097 bytes +2 No edit summary undo Tag: 2017 wikitext editor

21 May 2023

• curprev 00:2600:26, 21 May 2023 Partofthemachine talk contribs 23,095 bytes +6 The source does not spell his name correctly undo

29 April 2023

• curprev 04:5604:56, 29 April 2023 Goodphy talk contribs 23,089 bytes +295 Added another form of De Morgan's law that uses set subtraction operation. undo Tag: Visual edit

12 April 2023

• curprev 17:2017:20, 12 April 2023 TLop503 talk contribs m 22,794 bytes +173 Elaborated on double-headed arrow meaning undo Tag: Visual edit

2 April 2023

• curprev 18:1918:19, 2 April 2023 212.95.5.64 talk 22,621 bytes +137 →In intuitionistic logic: Example undo Tags: Mobile edit Mobile web edit
• curprev 10:4010:40, 2 April 2023 91.141.41.194 talk 22,484 bytes +2 →In intuitionistic logic: Typo undo

1 April 2023

• curprev 13:5013:50, 1 April 2023 83.64.100.29 talk 22,482 bytes −28 →In intuitionistic logic undo
• curprev 13:3113:31, 1 April 2023 83.64.100.29 talk 22,510 bytes +245 →In intuitionistic logic undo
• curprev 13:2713:27, 1 April 2023 83.64.100.29 talk 22,265 bytes +79 →In intuitionistic logic undo
• curprev 13:2113:21, 1 April 2023 83.64.100.29 talk 22,186 bytes −34 →In intuitionistic logic: Tex cleanup undo
• curprev 13:1513:15, 1 April 2023 83.64.100.29 talk 22,220 bytes +364 →In intuitionistic logic: Link to LLPO undo

14 March 2023

• curprev 02:4602:46, 14 March 2023 172.56.249.86 talk 21,856 bytes 0 →Engineering: corrected expression to emplace overbars only over each of the substituent propositional components within the disjunction; not also over each or either of the left and right parenthesis marks demarcating the disjunction undo

21 February 2023

• curprev 02:2902:29, 21 February 2023 Partofthemachine talk contribs 21,856 bytes −1 No edit summary undo

20 February 2023

• curprev 05:5805:58, 20 February 2023 Partofthemachine talk contribs 21,857 bytes −62 MOS:YOU undo