Truth tables for these calculus formulae

[charmedbeauty]

Homework Statement

Construct truth tables for the two propositional calculus formulae

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

Homework Equations

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.

p   ,	q  ,	r  ,	(p(~q)) [itex]\wedge[/itex] r  ,  ((~p) [itex]\wedge[/itex] 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??

 

[SammyS]

Homework Statement

Construct truth tables for the two propositional calculus formulae

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

Homework Equations

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.

p , q , r , (p→(~q)) $\wedge$ r , (q→(~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??

To get better spacing use the [code ] tag.

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

 

[charmedbeauty]

To get better spacing use the [code ] tag.

p   ,	q  ,	r  ,	(p(~q)) ∧ r  ,  ((~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

Ok thanks but is it right?