Timeline for Fixing a logic system
Current License: CC BY-SA 4.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 13, 2021 at 13:14 | history | edited | PurkkaKoodari | CC BY-SA 4.0 |
fix headings
|
| Oct 7, 2021 at 7:34 | history | edited | CommunityBot |
replaced https://tools.ietf.org/html/rfc with https://www.rfc-editor.org/rfc/rfc
|
|
| Oct 22, 2015 at 18:25 | history | edited | Calvin's Hobbies |
Seems like an unnecessary tag if only 1 post uses it
|
|
| Sep 16, 2015 at 6:23 | vote | accept | PurkkaKoodari | ||
| S Sep 1, 2015 at 6:47 | history | bounty ended | PurkkaKoodari | ||
| S Sep 1, 2015 at 6:47 | history | notice removed | PurkkaKoodari | ||
| Aug 31, 2015 at 19:00 | answer | added | Ibrahim Tencer | timeline score: 4 | |
| S Aug 25, 2015 at 7:30 | history | bounty started | PurkkaKoodari | ||
| S Aug 25, 2015 at 7:30 | history | notice added | PurkkaKoodari | Draw attention | |
| Aug 21, 2015 at 13:13 | answer | added | pretzelKn0t | timeline score: 5 | |
| Aug 20, 2015 at 22:59 | history | edited | PurkkaKoodari | CC BY-SA 3.0 |
added 2 characters in body
|
| Aug 20, 2015 at 22:56 | comment | added | proud haskeller |
also, parentheses in A<->(Q^C))v((-B)vH are mish-mashed.
|
|
| Aug 20, 2015 at 22:27 | history | tweeted | twitter.com/#!/StackCodeGolf/status/634492093189234689 | ||
| Aug 20, 2015 at 20:11 | history | edited | PurkkaKoodari | CC BY-SA 3.0 |
added 56 characters in body
|
| Aug 20, 2015 at 16:10 | comment | added | PurkkaKoodari | @proudhaskeller Thanks, corrected that. | |
| Aug 20, 2015 at 16:10 | history | edited | PurkkaKoodari | CC BY-SA 3.0 |
fixad grammer mistaek
|
| Aug 20, 2015 at 14:15 | comment | added | proud haskeller |
According to your grammar, the third statement in the example is not correct ((AvB)->-B should be (AvB)->(-B))
|
|
| Aug 20, 2015 at 13:35 | comment | added | Leif Willerts | I don't know if this is relevant, but this problem comes down to maximum set packing, which is NP-complete. | |
| Aug 20, 2015 at 12:44 | history | asked | PurkkaKoodari | CC BY-SA 3.0 |