Question

The negation of Boolean expression $\sim s\vee (\sim r\wedge s)$ is equivalent to
A) $r$
B) $s\wedge r$
C) $s\vee r$
D) $\sim s\wedge \sim r$

Answer 1

We are asked to find the negation of $\sim s\vee (\sim r\wedge s)$, we can write it as $\sim \left( \sim s\vee (\sim r\wedge s) \right)$. Simplify it and use the properties of Boolean algebra. After that, go on simplifying. Try it, you will get the answer.

Complete step by step solution:
We are asked to find the negation of $\sim s\vee (\sim r\wedge s)$, we can write it as $\sim \left( \sim s\vee (\sim r\wedge s) \right)$.
Now simplifying that is solving the bracket in step by step way.
First let us simplify the negation.
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=\sim (\sim s)\wedge (\sim (\sim r\wedge s))$
Again, simplifying we get,
We know that, $\sim (\sim s)=s$, so we get,
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=s\wedge (\sim (\sim r\wedge s))$
Now solving the bracket and we know $\sim \wedge =\vee$.
Using above we get,
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=s\wedge (\sim (\sim r)\vee \sim s))$
On simplification we get,
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=s\wedge (r\vee \sim s))$
Now again simplifying we get,
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=(s\wedge r)\vee (s\wedge \sim s)$
Also, we know that, $a\wedge \sim a=F$, we get,
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=(s\wedge r)\vee F$
Also, $a\vee F=a$, we get,
$\sim \left( \sim s\vee (\sim r\wedge s) \right)=(s\wedge r)$
Therefore, the negation of Boolean expression $\sim s\vee (\sim r\wedge s)$ is equivalent to $(s\wedge r)$.

The correct answer is option (B).

Additional information:
Boolean algebra is used to analyze and simplify digital circuits. It is also called Binary Algebra or logical Algebra. The important operations performed in Boolean algebra are – conjunction (∧), disjunction (∨) and negation (¬). Any binary operation which satisfies the following expression is referred to as a commutative operation. Commutative law states that changing the sequence of the variables does not have any effect on the output of a logic circuit. Logic gates are an important concept if you are studying electronics. These are important digital devices that are mainly based on the Boolean function. Logic gates are used to carry out logical operations on single or multiple binary inputs and give one binary output.

Note:
Boolean algebra is the category of algebra in which the variable’s values are the truth values, true and false, ordinarily denoted 1 and 0 respectively. Here we have used some properties to get through with that. Keep in mind that they have asked for negation of $\sim s\vee (\sim r\wedge s)$, do not start solving while looking at just the equation and read the problem thoroughly.