Unformatted text preview: logically equivalent. I ; I ; I : I q; rip + ~ + r) I (b) The compound statement is false. 11. (a) [BB] p q T T T F F T F F (b) p q ,p T T F T F F F T T F F T (c) [BB] p q T T T F F T F F (d) p q pVq T T F T F T F T T F F F pVq F T T F (,p) t\ q P v «,p) t\ q) (p v «,p) t\ q)) V q F T T F T T T T T F F F pVq pVq (p V q) + (p V q) F T T T T T F F p++q , (p ++ q) T F F T F T T F T T T T. The truth table shows that (p '::!. . q) (p V q) is true for all values of p and q, so it is a tautology. Columns three and five are the same. So the truth values of p '::!. .. q and , (p f+ q) are the same for all values of p and q. Thus these statements are logically equivalent....
View
Full Document
 Summer '10
 any
 Logic, Graph Theory, Logical connective, Vq

Click to edit the document details