Timeline for Simplify with assumption of unknown function
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 5, 2019 at 21:10 | vote | accept | xiaohuamao | ||
| Apr 9, 2015 at 4:13 | comment | added | xiaohuamao | Yes. I just want to show the possible usage. | |
| Apr 9, 2015 at 4:04 | comment | added | Jens | The output doesn't seem to make mathematical sense because addition of logical values isn't defined. | |
| Apr 9, 2015 at 2:40 | history | answered | xiaohuamao | CC BY-SA 3.0 |