Description
There are three graded discussion areas in this module,
Area 1: Conjunctive Normal Forms
Discuss why the empty clause is unsatisfiable and the empty set of clauses is valid.
Area 2: 3CNF
What is the theoretical importance of the concept of 3CNF?
Area 3: Resolution Procedure
-What is the purpose of the resolution procedure?
” I expect you to provide one quality post in each area (that is, four posts in total for the module). Do not create other areas; all of the class posts are expected to lie within these four areas.The objective here is to explore and discuss on the subject under study in this module, based on the given readings. I have posed several initial questions in each area to guide the discussions, but note that they are only a starting point; you are expected to go beyond that, and enrich the forum with your own findings obtained from the reading and research in these areas.”
- ******Minimum 200 words per area response, please refer to module lecture/notes pdf attached.******
