Professional Documents
Culture Documents
1. (∼p v q ) v p
2. ∼ ( p ∧ q )→ ( p v ∼q)
3. [ ( p v ∼q) ∧ q ] → p
4. [∼ (∼p→ q) v r ] ↔ [ ( p v q) ∧∼ r ]
5. [ ( p ∧ q ) v q ] ∧ ∼q
6. [∼ (p ↔ q) ∧ r ] → [ ∼q ∧ ∼ r ]
7. (∼ p ∧ q )→ (∼ p v q )
8. ( p → q ) ↔ (∼ p v q )
9. [(p→q)∧p]→q
10. (∼ p→q)∧(p↔q)
11. (p ∧q)v∼p
12. ∼ (∼ p ∧ q ) ∧ ∼ (∼ p )
13. ( p→q)v(p∧q)
14. ∼ ( p ∧ q ) ↔ (∼ p v ∼ q)
15. ∼ ( p v q ) ↔ (∼ p ∧ ∼ q)