Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
clash on P, ¬ P
also clash on Q, ¬ Q so, another way to find a resolvent for these two clauses is
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License