1. Use the negation rule above to find the negation of p:
2. Use the implication rule above to find q → ¬ p:
3. Use the conjunction rule above to find p^(q → ¬ p):
8.6m questions
11.2m answers