Timeline for Propositional logic without negation
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2015 at 15:46 | history | edited | Andreas Blass | CC BY-SA 3.0 |
fixed a typo
|
| Jul 14, 2015 at 12:13 | comment | added | Lucas K. | It is not the same as CNF, because the sub-formulas on the right and the left can be of any complexity, as long as it doesn't contain 'not'. | |
| Jul 14, 2015 at 3:18 | history | answered | Andreas Blass | CC BY-SA 3.0 |