+1 vote
422 views
asked in Discrete Mathematics by (290 points)  

I was doing an assignment and this is one of the questions


Q4) (a) Find a compound proposition using only p, q, ¬, and the connective OR with the truth table at the right  (4 marks) 

p q ?
T T F
T F F
F T T
F F F

 

(b) Find another compound proposition that is based on the previous truth table (4 marks)


So my answer to part (a) is:  NOT (p OR NOT q)

And my answer to part (b) is: NOT (NOT (NOT (p OR NOT Q) 

I was wondering is my answer to part (b) is counted as a legit answer to the question, because it's right but it's not really expanding the information given and just using the previous answer.

  

1 Answer

0 votes
answered by (115k points)  
This is the assignment question, so we cannot verify if the answer is correct or not, however it seems correct for part a ;-)

For part b, adding two not that does not have any effect could be considered as a right answer, but can you find any other compound proposition as well?
commented by (290 points)  
Well I did have another solution which is the following,

NOT(p OR NOT q) OR  NOT(p OR NOT q)

I feel like this would be a better answer, but I still have the same concern as of the first one
...