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.
 
 

9 lines
382 B

Let $\varphi$ be a propositional formula defined
over Boolean variables $x_1, . . . ,x_n$.
\begin{itemize}
\item A \emph{literal} is one of the variables $x_i$ or the negation of a variable, e.g., $x_1$.
\item A \emph{clause} is a disjunction of literals, e.g., $x_1 \vee x_2$.
\item A \emph{cube} is a conjunction of literals, e.g., $x_1 \wedge x_2$.
\end{itemize}