Functional completeness: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:1215:12, 13 January 2025 Jochen Burghardt talk contribs 16,402 bytes 0 Undid revision 1269185740 by Mastergreg82 (talk) undo Tag: Undo
curprev 12:5912:59, 13 January 2025 Mastergreg82 talk contribs m 16,402 bytes 0 →Minimal functionally complete operator sets undo Tags: Reverted Visual edit

curprev 10:2510:25, 19 September 2024 Jochen Burghardt talk contribs 16,402 bytes +652 →Characterization of functional completeness: all 16 functions are a clone, too; citation for Post, including page nr.s for (some of) his notation undo

curprev 20:1620:16, 19 August 2024 BD2412 talk contribs m 15,750 bytes −2 clean up spacing around commas and other punctuation, replaced: ; → ; undo Tag: AWB

curprev 22:5222:52, 10 June 2024 Thiagovscoelho talk contribs 15,752 bytes +53 →See also undo

curprev 00:3000:30, 22 April 2024 Marcin Rychlewicz talk contribs 15,699 bytes −1 No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

curprev 19:0619:06, 17 April 2024 Thiagovscoelho talk contribs 15,700 bytes +311 →Introduction undo Tag: Visual edit

curprev 18:4018:40, 15 April 2024 Jochen Burghardt talk contribs 15,389 bytes +1 →top: typo undo
curprev 18:1718:17, 15 April 2024 Thiagovscoelho talk contribs 15,388 bytes +31 No edit summary undo

curprev 17:5717:57, 12 April 2024 Cooperh talk contribs 15,357 bytes +56 →Examples: OR derivations show the NOT-based version, so do the same for AND derivations undo

curprev 19:0619:06, 7 December 2023 TwainNeverSaidThat talk contribs m 15,301 bytes +2 →top: fix unmatched brackets of {{nowrap}} from Special:Diff/1188184325 undo

curprev 21:1921:19, 3 December 2023 Quondum talk contribs 15,299 bytes −301 rm statement altogether: constant inputs are evidently not permitted (the gates ⊤ and ⊥ must be explicitly used), and saying anything about intermediate 'garbage' values adds nothing undo
curprev 21:1421:14, 3 December 2023 Quondum talk contribs 15,600 bytes +391 which → that (restrictive clause); formatting; ce undo

curprev 16:3616:36, 16 October 2023 Jochen Burghardt talk contribs 15,209 bytes −2 →Minimal functionally complete operator sets undo
curprev 16:3516:35, 16 October 2023 Jochen Burghardt talk contribs 15,211 bytes −6 →Characterization of functional completeness undo
curprev 16:3516:35, 16 October 2023 Jochen Burghardt talk contribs 15,217 bytes −2 →Formal definition undo
curprev 16:3416:34, 16 October 2023 Jochen Burghardt talk contribs 15,219 bytes −4 →top: per MOS:NOBOLD undo

curprev 16:0716:07, 9 October 2023 PerfectSoundWhatever talk contribs 15,223 bytes +52 Adding local short description: "Concept in mathematical logic", overriding Wikidata description "property of a set of logical connectives which can express all possible truth tables by combining members of the set" undo Tag: Shortdesc helper

curprev 03:1003:10, 17 January 2023 Em3rgent0rdr talk contribs 15,171 bytes +8 specify "the set" undo Tag: Visual edit
curprev 03:1003:10, 17 January 2023 Em3rgent0rdr talk contribs 15,163 bytes −2 "not complete" => "incomplete", to avoid another "not" word in this article. undo Tag: Visual edit
curprev 03:0803:08, 17 January 2023 Em3rgent0rdr talk contribs 15,165 bytes +114 there were 3 examples of complete logic. But there wasn't a counter example of an incomplete logic set. I've added {AND, OR} as an example of not complete. undo Tag: Visual edit

curprev 12:1012:10, 16 January 2023 FatalSubjectivities talk contribs 15,051 bytes +36 →References: Category:Charles Sanders Peirce undo

curprev 18:3018:30, 24 August 2022 Mgkrupa talk contribs 15,015 bytes +143 →See also undo
curprev 18:2918:29, 24 August 2022 Mgkrupa talk contribs 14,872 bytes +25 →References undo

curprev 20:5320:53, 17 May 2022 Omnissiahs hierophant talk contribs 14,847 bytes −55 shorter sentence, with the links at the AND and NOT, with same meaning undo

curprev 00:0500:05, 25 March 2022 Caleb Stanford talk contribs 14,902 bytes −38 revert good-faith edit 1078490039 by 152.1.137.158 (talk) -- this explanation is confusing/vague and I don't think it clarifies. The resulting functions are not necessarily unary but "essentially unary", a property that would require more explanation. undo Tag: Undo

curprev 20:5220:52, 21 March 2022 152.1.137.158 talk 14,940 bytes +38 →Minimal functionally complete operator sets undo Tag: Reverted

curprev 18:0618:06, 21 February 2022 Paradoctor talk contribs m 14,902 bytes +3 →Minimal functionally complete operator sets: replacing one grammar error with another, is that what we are about? 😅 undo
curprev 17:2817:28, 21 February 2022 Dominic Mayers talk contribs 14,899 bytes +12 →Minimal functionally complete operator sets: Introducing the notation that is needed below. undo

curprev 22:5222:52, 18 February 2022 Paradoctor talk contribs m 14,887 bytes −9 →Minimal functionally complete operator sets: grammar undo

curprev 06:0306:03, 14 June 2021 Johnbendi talk contribs m 14,896 bytes −2 →Introduction: Minor typo edit undo Tag: Visual edit

curprev 18:3218:32, 11 May 2021 37.111.198.9 talk 14,898 bytes +1 →Introduction undo Tags: Mobile edit Mobile web edit

curprev 19:2719:27, 12 March 2021 Blablubbs talk contribs m 14,897 bytes −290 Rv refspam by blocked sock, see Wikipedia:Sockpuppet investigations/Badtoothfairy undo Tag: Rollback

curprev 16:4716:47, 22 February 2021 Floridada talk contribs 15,187 bytes +290 expanded on complete singleton sets undo Tag: Reverted

curprev 19:3219:32, 29 December 2020 Beland talk contribs m 14,897 bytes −72 convert special characters (via WP:JWB) undo

curprev 02:4102:41, 4 December 2020 Pppery talk contribs m 14,969 bytes −4 →In other domains undo

curprev 10:1710:17, 30 October 2020 Ravenpuff talk contribs 14,973 bytes +6 →top: fux undo

curprev 00:1000:10, 11 July 2020 Samuel Thornkey talk contribs m 14,967 bytes +185 Added garbage bits to definition. undo Tag: Visual edit
curprev 00:0700:07, 11 July 2020 Samuel Thornkey talk contribs m 14,782 bytes +100 I was redirected from 'universal' to here but felt like there was no explicit definition of universality, so I added it. undo

curprev 16:4816:48, 19 June 2020 2a00:23c5:598b:b500:41b8:649:b1b8:dcf8 talk 14,682 bytes +20 →Examples: changed = signs to the more correct ≡ undo

curprev 21:0421:04, 26 May 2020 Deacon Vorbis talk contribs m 14,662 bytes +72 Reverted edits by Beland (talk) to last version by OAbot undo Tag: Rollback
curprev 20:2420:24, 26 May 2020 Beland talk contribs m 14,590 bytes −72 convert special characters (via WP:JWB) undo

curprev 08:4108:41, 19 April 2020 OAbot talk contribs m 14,662 bytes +84 Open access bot: doi added to citation with #oabot. undo

curprev 15:0815:08, 24 March 2020 2601:445:4380:7dd0:b8ef:7a16:6fae:c52b talk 14,578 bytes 0 →Minimal functionally complete operator sets undo

curprev 02:3002:30, 30 September 2019 73.202.12.249 talk 14,578 bytes +35 →See also undo

curprev 16:0216:02, 23 August 2019 Cooperh talk contribs m 14,543 bytes −3 →Examples: grammar undo

curprev 23:2023:20, 3 February 2019 73.211.180.12 talk 14,546 bytes +19 No edit summary undo

curprev 14:1314:13, 28 September 2018 18atcskd2w talk contribs m 14,527 bytes −19 Removed link from sheffer function to sheffer stroke - not the same thing undo
curprev 14:1114:11, 28 September 2018 18atcskd2w talk contribs m 14,546 bytes +17 Linked page to sheffer stroke, fixed link to logical NAND undo

curprev 02:0302:03, 25 September 2018 Daviddwd talk contribs 14,529 bytes +256 →In other domains undo

13 January 2025

19 September 2024

19 August 2024

10 June 2024

22 April 2024

17 April 2024

15 April 2024

12 April 2024

7 December 2023

3 December 2023

16 October 2023

9 October 2023

17 January 2023

16 January 2023

24 August 2022

17 May 2022

25 March 2022

21 March 2022

21 February 2022

18 February 2022

14 June 2021

11 May 2021

12 March 2021

22 February 2021

29 December 2020

4 December 2020

30 October 2020

11 July 2020

19 June 2020

26 May 2020

19 April 2020

24 March 2020

30 September 2019

23 August 2019

3 February 2019

28 September 2018

25 September 2018