You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

8 lines
582 B

\item \self Given the formula $\phi$ with the variables $x_1, ..., x_n$. Tick all statements that are true.
\begin{itemize}
\item[$\square$] A \textit{literal} is a variables $x_i$ or its negation.
\item[$\square$] A \textit{literal} forms a formula in conjunctive normal form.
\item[$\square$] A \textit{literal} forms a formula in disjunctive normal form.
\item[$\square$] A \textit{literal} is called \textit{positive}, if it is the negation of a variable.
\item[$\square$] A \textit{literal} is called \textit{negative}, if it is the negation of a variable.
\end{itemize}