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.
2 lines
211 B
2 lines
211 B
\item \ifassignmentsheet \points{3} \fi \applyTseitin{$\phi = \lnot (p \imp q) \land (r \land p)$}
|
|
Derive the Tseitin transformation rule for $\imp$ or transform the input such that you can use the rules above.
|