The negation of the Boolean expression ~ s ∨ ~ r ∧ s is equivalent to

Step-by-step solution

Negation of given statement is = ~ ~ s ∨ ~ r ∧ s Using De Morgan's law ~ A ∨ B = ~ A ∧ ~ B = ~ ~ s ∧ ~ ~   r   ∧ s Using double negation law ~ ~ A = A , and De Morgan's law = s ∧ ~ ~ r ∨ ~ s = s ∧ r ∨ ~ s   Using distributive law A ∧ B ∨ C = A ∧ B ∨ A ∧ C = s ∧ r ∨ s ∧ ~ s = s ∧ r ∨ F = s ∧ r .