Question

Express these system specifications using the propositions p “The user enters

Answer 1

Answer:

a) r ⋀~p

b)(r⋀p)⟶q

c) ~r ⟶ ~q

d) (~p ⋀r) ⟶q

Step-by-step explanation:

To solve this question we will make use of logic symbols in truth table.

We are told that;

p means "The user enters

a valid password,”

q means “Access is granted,”

r means “The user has paid the

subscription fee”

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

password.”

Fist part of the statement is correct and so it will be "r". Second part of the statement is a negation and will be denoted by ~p. Since both statements are joined together in conjunction, we will use the conjuction symbol in between them which is "⋀" Thus, we have; r ⋀~p

B) Still using logic symbols, we have;

(r⋀p)⟶q

⟶ means q is true when r and p are true.

C) correct symbol is ~r ⟶ ~q

Since both statements are negation of the question. And also, if ~r is true then ~q is also true.

D) Similar to answer A to C above, applying similar conditions, we have (~p ⋀r) ⟶q