bookquestions

bookquestions - T F T T T F F (m => n) => (p => q)...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
2. Each line contains a proposition and two states s1 and s2. Evaluate the propositions in s1 and s2 Proposition m n p q Ans m n p q Ans !(m v n) T F T T F T T T !m v n T F T T F T T T !(m ^ n) T F T T F T T T !m ^ n T F T T F T (m v n)=>p T F T T T T F T m v (n =>p) T F T T T T F T (m = n)^(p = q) F F T F T F T F m = (n ^ (p = q)) F F T F T F T F m = (n ^ p = q) F F T F T F T F (m = n) ^ (p => q) F T F T T T F F (m = n ^ p) => q F
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: T F T T T F F (m => n) => (p => q) F F F F T T T T (m =>(n => p)) => q F F F F T T T T 3. Write truth tables to show the values of the following propositions in all states: a) b v c v d b) b ^ c ^ d c) b => (b v c) d) (b v c) ^ (b =>c) ^ (c => b) e) (b = c) = (b => c) ^ (c => b) 4. Translate the following sentences into prepositional form. a) x < y or x = y. b) Either x < y, x = y, or x > y. c) If x > y and y > z, then v = w....
View Full Document

This note was uploaded on 05/04/2011 for the course CS 536 taught by Professor Cs536 during the Spring '08 term at Illinois Tech.

Ask a homework question - tutors are online