Home / Computer science / 3-satisfiability (3SAT) / Explore
Case 3: Three literals
The 3-literal clause
\begin{equation*} c = ( \ell_1 \lor \ell_2 \lor \ell_3 ) \end{equation*}stays as is.
Home / Computer science / 3-satisfiability (3SAT) / Explore
The 3-literal clause
\begin{equation*} c = ( \ell_1 \lor \ell_2 \lor \ell_3 ) \end{equation*}stays as is.