Negation of the Boolean statement (p ∨ q) ⇒ ((~ r) ∨ p) is equivalent to
To find the negation of the Boolean statement \((p \lor q) \Rightarrow ((\sim r) \lor p)\), we first need to understand the equivalence of implication in terms of logical operators.
The implication \(A \Rightarrow B\) can be rewritten as \(\sim A \lor B\). Therefore, the statement \((p \lor q) \Rightarrow ((\sim r) \lor p)\) can be expressed as:
To find the negation of the statement, we use the logical negation:
Using De Morgan's Laws and the double negation, this expression becomes:
Combine these results:
Therefore, the negation of the original Boolean statement is equivalent to:
This matches the option: (~p) ∧ q ∧ r
The number of values of $r \in\{p, q, \sim p, \sim q\}$ for which $((p \wedge q) \Rightarrow(r \vee q)) \wedge((p \wedge r) \Rightarrow q)$ is a tautology, is :
Among the statements :
\((S1)\) \((( p \vee q ) \Rightarrow r ) \Leftrightarrow( p \Rightarrow r )\)
\((S2)\)\((( p \vee q ) \Rightarrow r ) \Leftrightarrow(( p \Rightarrow r ) \vee( q \Rightarrow r ))\)