Unformatted text preview: ∨ ~ q T T T F ~(p or q ) negation of disjunction ~(p ∨ q) F F F T p or q (exclusive) exclusive disjunction p XOR q F T T F if p then q conditional p ⊃ q p ⇒ q T F T T p if and only if q biconditional p ≡ q p ⇔ q T F F T...
View
Full Document
 Spring '08
 FRIED

Click to edit the document details