I have one formula that I do not understand why it is CNF and one that is not CNF, namely.
- p && !q (NOT NCF)
and
- !!p(CNF).
According to the exercise where I found these examples, 1 is not CNF and 2 is CNF.
How can the first formula not be CNF, when for example p && q is CNF. If for example !!p is part of a formula we will translate it to p, how can we say that it is CNF?