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.
1 lines
191 B
1 lines
191 B
\item \self (a) What does it mean that two formulas $\phi$ and $\psi$ are \textit{equisatisfiable}? (b) Explain the difference between \textit{satisfiability} and \textit{equisatisfiability}.
|