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

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
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 Right Arrow Icon
Ask a homework question - tutors are online