Talk:Negation normal form
|WikiProject Mathematics||(Rated Stub-class, Low-priority)|
Please explain what this means
- I believe that it means that what is on the left side of the implication ( ) can be rewritten as what is on the right side of the implication ( ). This is correct, but it took me a lot of time to understand that this is what it means, because I never saw that someone uses implication for that. Usually people use logical equivalence, for this. I suggest that we change the in the article
I think that using would be really bad, because then it would be virtually impossible to figure out where one formula stops and another starts since is FOL connective as well (at least, in numerous books that symbol is used for logical implication).
How about using this approach. Look at this Artificial intelligence book (it's in Serbian, but it will illustrate my point). On the page 55 is given the PRENEX algorithm (very similar to the NNF algorithm). Steps 1 and 2 are: As long as possible, apply the following logical equivalences. We could say the same in this article. Mathematician would understand what it means (current solution is confusing), and we could have additional explanation for the non-mathematician.
So, my suggestion is: As long as possible, apply the following logical equivalences (i.e. rewrite left side of the formula with the right side). But then again, if this () notation is used in the other articles as well.. -- Obradović Goran (talk 04:44, 15 September 2008 (UTC)
Undid last revision on NNF, the paragraph was simply wrong (checking a solution is still polynomial in NNF), and did not provide any value. — Preceding unsigned comment added by 188.8.131.52 (talk) 18:40, 10 December 2015 (UTC) $
Missing => Rule
Did a small edit and replaced the rewriting rules by exactly the rules from Handbook of Automated Reasoning 1, p. 204. These rules also consider the case of eliminating implication. Without this elimination we don't arrive at the negation normal form, which should only contain disjunction and conjunction.