CIS 125

06 Propositions and Truth Tables


Note: The tilde (~) may be used to denote a logical inversion, or NOT, operation.

The symbol v is used to represent the OR operator, while the ^ symbol represents the AND operator.


Evaluate each proposition for the truth values where p is false, q is true, and r is false.


1. p v q


2. p ^ q


3. p v q


4. p v (q v r)


5. (p v q) ^ (p v r)


Write the truth table for each proposition.


6. p ^ q


7. (p v q) v p


8. (p v q) ^ p


9. (p ^ q) v (p v q)


10. (p ^ q) v (r ^ p)