Questionnaire-2024/sat_solvers_dpll/3007.tex

\item \self Look a the following statements and tick all items that conform to a \textit{DNF}.
\begin{itemize}
	\item[$\square$] $a \lor b$
	\item[$\square$] A DNF is a conjunction of clauses.	
	\item[$\square$] $(a \lor b) \land (\lnot b \lor \lnot a \lor c) \land \lnot c$
	\item[$\square$] $(a \land b) \lor (\lnot b \land \lnot a \land c) \lor \lnot c$
	\item[$\square$] A DNF is a conjunction of disjunctions of literals.
	\item[$\square$] $b$
	\item[$\square$] $a \land b \land \lnot c$
	\item[$\square$] $(\lnot a \land b) \land (\lnot a \land c)$
	\item[$\square$] A DNF is a disjunction of cubes.
	\item[$\square$] $\lnot (a \land \lnot b) \land c$
	\item[$\square$] A DNF is a disjunction of conjunctions of literals.
	\item[$\square$] $a \land \lnot b$
\end{itemize}