# Homework Help: Truth tables for these calculus formulae

1. Apr 30, 2012

### charmedbeauty

1. The problem statement, all variables and given/known data

Construct truth tables for the two propositional calculus formulae

(p→(~q))$\wedge$r and q→((~p)$\wedge$r)

2. Relevant equations

3. The attempt at a solution

Can some one please check these solutions because I had a look at the answer and it was different but I don't think I am wrong.

Sorry about the layout I tried pasting of a word doc table but did not work out to well.

Just follow the vales with each column respectively.
Code (Text):

p   ,   q  ,    r  ,    (p(~q)) $\wedge$ r  ,  ((~p) $\wedge$ r)

T   T   T       F                        F
T   T   F       F                        F
T   F   T       T                        T
T   F   F       F                        T
F   T   T       T                        T
F   T   F       F                        F
F   F   T       T                        T
F   F   F       F                        T

Is this right??

Last edited: Apr 30, 2012
2. Apr 30, 2012

### SammyS

Staff Emeritus
To get better spacing use the [code ] tag.

Code (Text):
p   ,   q  ,    r  ,    (p→(~q)) ∧ r  ,  (q→(~p) ∧ r)

T   T   T       F                        F
T   T   F       F                        F
T   F   T       T                        T
T   F   F       F                        T
F   T   T       T                        T
F   T   F       F                        F
F   F   T       T                        T
F   F   F       F                        T

Last edited: Apr 30, 2012
3. Apr 30, 2012

### charmedbeauty

Ok thanks but is it right?