DISCRETE MATH: Express the following using propositions p,q,r and logical connectives

1. Homework Statement

Express the system specifications using the propositions p "The user enters a valid password," q "Access is granted," and r "The user has paid the subscription fee" and logical connectives.

a) The user has paid the subscription fee, but does not enter a valid password.

b) Access is granted whenever the user has paid the subscription fee and enters a valid password.

c) Access is denied if the user has not paid the subscription fee.

d) If the user has not entered a valid password but has paid the subscription fee, then access is granted.

2. Homework Equations

p = "The user enters a valid password"
q = "Access is granted"
r = "The user has paid the subscription fee"

3. The Attempt at a Solution

a) $$r\,\wedge\,\neg\,p$$

b) $$q\,\longleftrightarrow\,(r\,\wedge\,q)$$

c) $$\neg\,r\,\longrightarrow\,\neg\,q$$

d) $$(\neg\,p\,\wedge\,r)\,\longrightarrow\,q$$

Related Calculus and Beyond Homework Help News on Phys.org
Homework Helper
Everything looks right, except you made a typo (I guess) in b), it should be $$q\,\longleftrightarrow\,(r\,\wedge\,p)$$, unless I'm missing something.

matt grime
Homework Helper
Even modulo typos, b is not right. The implication is not both ways. It does not assert that the only way to get access is with subscription and a valid password.

Homework Helper
Even modulo typos, b is not right. The implication is not both ways. It does not assert that the only way to get access is with subscription and a valid password.
Excuse my mistake, it should be $$(r \wedge p) \Rightarrow q$$.

So they are all right except that B is really $$(r\,\wedge\,p)\,\longrightarrow\,q$$?

So they are all right except that B is really $$(r\,\wedge\,p)\,\longrightarrow\,q$$?