Final answer:
The value of (p⟹q)∨∼p when p is true and q is true is True.
Step-by-step explanation:
The value of (p⟹q)∨∼p when p is true and q is true can be determined by substituting the values and evaluating the logical expression.
(p⟹q)∨∼p = (true⟹true)∨∼true
The implication operator (⟹) states that if p is true and q is true, then the result is true. Therefore, (true⟹true) is true.
The negation operator (∼) in front of p means to take the opposite value of p. Since p is true, ∼p is false.
Substituting the values, we have:
(true)∨∼true = true∨false
The logical OR operator (∨) states that if any of the operands is true, then the result is true. In this case, true∨false is true.
Therefore, the value of (p⟹q)∨∼p, when p is true and q is true, is True.
The correct option is a. True