2.Express these system specifications using the propositions The user enters a valid password, Access is granted, and The user has paid the subscription fee and logical connectives (including negations). Please note some propositions below may be false. Give concrete explanations.

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

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

(3) Access wont be denied unless the user has not paid the subscription fee. (4) Its necessary to enter a valid password to have the access grated.

(4) Its necessary to enter a valid password to have the access grated.