Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Started this page normal form, but I see there might be a difference between the no-further-rewrites idea and the designated set of normal terms idea (as in disjunctive normal form).
The former is a special case of the latter, right? And conversely, there should be some rewriting operation on boolean formulas that puts them into DNF. Wikipedia’s page on DNF links to its page on normal form (abstract rewriting), which suggests that at least some people view the “NF” in “DNF” as being of the no-further-rewrites sort.
That sounds reasonable. I added something on weak/strong normalization. There must be young enthusiastic experts out there who know this material well.
1 to 4 of 4