clausal-form

Clausal form consists of clause sets.

Clause

A clause is a set of clause expressions.

For example, $\{p\},\{q\},...$

Here, $\{p\}$ is a clause.

Clause expression

A clause expression can be a literal or disjunction of literals.

$$\begin{gathered} \text{displaylines}p \\ q \\ p\vee q \end{gathered}$$

Representing these expressions as clauses,

$$\begin{gathered} \text{displaylines}\{p\} \\ \{q\} \\ \{p,q\} \end{gathered}$$

References

1. Propositional Resolution