8.2.3 Exercise on comparing statement forms

1 Fill in the values under the main operators to determine which of these are equivalent to others.

 

~(p . q)                     ~p v ~q              ~(p v q)             ~p . ~q               p > ~q

 

 

 

2 What do the tables tell you about these?

 

p > q                   q > p             ~(~p v q)             ~q > ~p                p . ~p