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)