132k views
3 votes
Please Help I will give you a lot of points if you do!

Please Help I will give you a lot of points if you do!-example-1

1 Answer

4 votes

Recall that ab ⇔ ¬ab. So we can write

q ⇒ (pr ) ⇔ ¬q ∨ (pr )

Then the negation of this would be, for instance,

¬(¬q ∨ (pr )) ⇔ ¬(¬q) ∧ ¬(pr )

… ⇔ q ∧ (¬p ∨ ¬r )

… ⇔ (¬pq) ∨ (q ∧ ¬r )

… ⇔ ¬(p ∨ ¬q) ∨ (q ∧ ¬r )

… ⇔ (p ∨ ¬q) ⇒ (q ∧ ¬r )

It's impossible to tell what kind of statement your program is expecting, but since there are 5 slots available, my money would be on q ∧ (¬p ∨ ¬r ), so long as ¬p and ¬r are options.

User YoungDinosaur
by
3.8k points