Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:definition_of_propositional_resolution [2008/03/12 17:09] vkuncak |
sav08:definition_of_propositional_resolution [2009/04/08 16:24] philippe.suter |
||
---|---|---|---|
Line 5: | Line 5: | ||
* **clause** is a disjunction of literals | * **clause** is a disjunction of literals | ||
- | ===== Clauses as Sets of Literlas ===== | + | |
+ | ===== Clauses as Sets of Literals ===== | ||
The order and the number of occurrences of literals in clauses do not matter, because of these valid formulas: | The order and the number of occurrences of literals in clauses do not matter, because of these valid formulas: |