M325K_HW01_Soln

# M325K_HW01_Soln - M325K Section 1.1 8(1pt each b ~ w h s c...

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

M325K HW 01 - Solutions to Graded Questions (Out of 25 points) Section 1.1 8 . (1pt each) b) s h w ~ c) s h w ~ ~ ~ e) [Note: is ok too.] ) ( ~ s h w ) ~ (~ s h w 9 . (1pt) () k n k n ~ ) ( 24. (3pts) and ) ( r q p ) ( ) ( r p q p are logically equivalent since they have the same truth values- see the table below. (In fact this is distributive property) p q r r q ) ( r q p q p r p ) ( ) ( r p q p T T T T T T T T T T F T T T F T T F T T T F T T T F F F F F F F F T T T F F F F F T F T F F F F F F T T F F F F F F F F F F F F 32 . (1pt) This computer program does not have a logical error in first ten lines and it’s not being run with an incomplete data set. 43 . (3pts) is a contradiction since we have all F’s: q r q q p ~ )) ( ) ((~ p q r ~p ~q q p ~ r q ) ( ) (~ r q q p q r q q p ~ )) ( ) ((~ T T T F F F T F F T T F F F F F F F T F T F

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## This note was uploaded on 04/29/2010 for the course MATH m325k taught by Professor Seckin during the Spring '10 term at University of Texas-Tyler.

### Page1 / 2

M325K_HW01_Soln - M325K Section 1.1 8(1pt each b ~ w h s c...

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

View Full Document
Ask a homework question - tutors are online