This preview shows page 1. Sign up to view the full content.
Unformatted text preview: truth table. p q .q p /\ (.q) .p (.p)>q (p/\ (.q)) V (.p) > q) T T F F F T T F F T F T F F As shown, (p 1\ (.q)) V ((. ..,p) + q) has different truth values on two occasions where p + q is true, so it is not possible to answer the question in this case. 3. [BB] ~~~+~~~~~~~~~~+~~~ F [p + (q /\ (.r))] V [r ++ ((. ..,s) V q)] T 4. T [p + (q 1\ (...,r))] V [r ++ ((. ..,s) V q)] T 5. (a) [BB] p q pl\q pVq (p 1\ q) + (p V q) T T T T T T F F T T F T F T T F F F F T The final column shows that (p /\ q) + (p V q) is true for all values of p and q, so this statement is a tautology....
View
Full
Document
This note was uploaded on 11/08/2010 for the course MATH discrete m taught by Professor Any during the Summer '10 term at FSU.
 Summer '10
 any
 Graph Theory

Click to edit the document details