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)