Hmk1sol - COT 3100 Homework#1 Section 2 Spring 2000...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
COT 3100 Homework#1 Section 2 Spring 2000 Solutions 1) p q r q ¬ r p (q ¬ r ) 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 Thus p (q ¬ r ) is true for the three truth assignments: p=1,q=0,r=0 p=1,q=1,r=0 p=1,q=1,r=1 2) p q r p q r (q p) (p q) ( r (q p)) 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 p q r p r 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 The left hand columns of both of these truth tables are equivalent, hence the expressions are as well.
Background image of page 1

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

View Full DocumentRight Arrow Icon
3) ( (p q) (r (q p)) ) ( ( ¬ p q) (r (q p)) ) Implication Identity ( ¬ ( ¬ p q) (r (q p)) ) Implication Identity ( ( ¬¬ p ¬ q) (r (q p)) ) De Morgan’s Law ( (p ¬ q) (r (q p)) ) Double Negation ( (p ¬ q) ((q p) r) ) Commutative Law ( ((p ¬ q) (q p)) r ) Associative Law ( ((p ¬ q) (p q)) r ) Commutative Law ( (p ( ¬ q
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

Hmk1sol - COT 3100 Homework#1 Section 2 Spring 2000...

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

View Full Document Right Arrow Icon
Ask a homework question - tutors are online