Timeline for Minimizing all aspects of the definition of Boolean algebra
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 22, 2021 at 18:27 | comment | added | Pace Nielsen | For the downvoter: Can you explain your downvote please? | |
| Mar 18, 2021 at 21:21 | comment | added | Pace Nielsen | @LSpice Good catch! Fixed. | |
| Mar 18, 2021 at 21:21 | history | edited | Pace Nielsen | CC BY-SA 4.0 |
edited body
|
| Mar 18, 2021 at 21:08 | comment | added | LSpice | I know it's nitpicking, but do you really mean the known minimum length (it is known that you cannot get shorter), or just the minimum known length (it is not known that you can get shorter)? | |
| Mar 18, 2021 at 20:40 | history | edited | Pace Nielsen |
edited tags
|
|
| Mar 18, 2021 at 20:40 | comment | added | Pace Nielsen | @YCor Yes, but if relation symbols would somehow help minimize things, that'd be interesting to me too. | |
| Mar 18, 2021 at 20:33 | comment | added | YCor | You're talking of functions symbols and identities, so I understand you expect a "universal algebra" setting (no relations)? | |
| Mar 18, 2021 at 20:28 | history | asked | Pace Nielsen | CC BY-SA 4.0 |