Current Slide
Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Clausal Forms
-
A clause is a set of literals which is assumed (implicitly) to be a disjunction of those literals
-
Example:
-
Unit clause: clause with only one literal; e.g. {¬ q }
-
Clausal form of a formula: Implicit conjunction of clauses
-
Example:
Abbreviated notation:

-
Notation:
-
l -literal, l c -complement of l
-
C -clause (a set of literals)
-
S -a clausal form (a set of clauses)