A <conjunctive normal form> is a finite conjunction of clauses, each clause being a finite disjunction of literals. A literal is a <propositional variable> or the negation of one. Thus its shape is
$$
\boxed{\bigwedge_{i=1}^m\left(\bigvee_{j=1}^{n_i}\ell_{ij}\right),\qquad\ell_{ij}\in\{p_k,\neg p_k:k\in\omega\}.}
$$
A single clause or single literal is allowed; the necessary parentheses can be inserted according to the grammar.

Solution

Past exam of the logic and set theory course of the University of Oxford / 2011 / A / 1 / c / iii / Solution

 Solution (source code)