conv2cnf :: Form -> Form
conv2cnf f = simplify (cnjOfDsj (nnf (arrowfree f)))
Mistake
toCNF :: Form -> Form
toCNF f = (nnf . arrowfree) f
must be
toCNF :: Form -> Form
toCNF f = conv2cnf f
Original nice solution. However I think there is a bug in conv2cnf , for that reason the test doesn't
terminate. But there is already a remark about it at exercise 3.
Good (=8)
Mistake
must be
Original nice solution. However I think there is a bug in
conv2cnf, for that reason the test doesn'tterminate. But there is already a remark about it at exercise 3.
Good (=8)