# hw2sol - CSCE 222 Problem Set 2 Solution Wen Li Section...

This preview shows pages 1–2. Sign up to view the full content.

CSCE 222 - Problem Set 2 Solution Wen Li Section 1.1 #10 a) r ∧ ¬ q b) p q r c) r p d) p ∧ ¬ q r e) ( p q ) r f) ( p q ) r Section 1.1 #14 a) True b) True c) False d) True Section 1.1 #34 p q r s p q ( p q ) r (( p q ) r ) s T T T T T T T T T T F T T F T T F T T F T T T F F T F T T F T T F T T T F T F F T F T F F T F T T T F F F F T F F T T T T T T F T T F T T F F T F T T F T F T F F T F T F F T T T T T F F T F T T F F F F T T F T F F F F T F T Section 1.2 #12 a) This statement is tautology, because ¬ p ( p q ) q [( ¬ p p ) ( ¬ p q )] q ( ¬ p q ) q ( p ∨ ¬ q ) q p T T

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
b) This statement is tautology, because (( p q ) ( q r )) ( q r ) ≡¬ [( ¬ p q ) ( ¬ q r )] ( ¬ q r ) ≡¬ ( ¬ p q ) ∨ ¬ ( ¬ q r ) ( ¬ q r ) ≡¬ ( ¬ p q ) T T c) The only truth assignment that can make this statement false should satisfy:
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 2

hw2sol - CSCE 222 Problem Set 2 Solution Wen Li Section...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online