Solveeit Logo

Question

Question: Find the negation of \(\sim s\vee \left( \sim r\wedge s \right)\) is equivalent to: (a) \(s\wedge ...

Find the negation of s(rs)\sim s\vee \left( \sim r\wedge s \right) is equivalent to:
(a) srs\wedge r
(b) s(rs)s\wedge \sim \left( r\wedge \sim s \right)
(c) s(rs)s\vee \sim \left( r\wedge \sim s \right)
(d) None of these

Explanation

Solution

Basically we have to evaluate (s(rs))\sim \left( \sim s\vee \left( \sim r\wedge s \right) \right). The properties that we are going to use in evaluating this expression are that negation of aba\vee b is ab\sim a\wedge \sim b. The symbol \sim represents negation. Similarly, negation of aba\wedge b is ab\sim a\vee \sim b and application of two negations on an element gives the same element. And we are also going to use the distributive property on a(bc)a\wedge \left( b\vee c \right) which is equal to (ab)(ac)\left( a\wedge b \right)\vee \left( a\wedge c \right).

Complete step by step answer:
We have to find the negation of the following:
s(rs)\sim s\vee \left( \sim r\wedge s \right)
Negation is represented by the symbol \sim so basically we have to evaluate the following expression,
(s(rs))\sim \left( \sim s\vee \left( \sim r\wedge s \right) \right)……… eq. (1)
We are going to use the following property in solving the above expression.
(ab)=(ab)\sim \left( a\vee b \right)=\left( \sim a\wedge \sim b \right)
Using the above property in eq. (1) we get,
((s)(rs))\left( \sim \left( \sim s \right)\wedge \sim \left( \sim r\wedge s \right) \right)
Applying two negations on any element say “p” will make the element free from negations as follows:
p=p\sim \sim p=p
Using the above property in the new reduced form of the given expression as:
((s)(rs))\left( \left( s \right)\wedge \sim \left( \sim r\wedge s \right) \right)
Now, we are going to use the following property of the negation of aba\wedge b in the above equation which is equal to:
(ab)=(a)(b)\sim \left( a\wedge b \right)=\left( \sim a \right)\vee \left( \sim b \right)
((s)((r)(s))) =((s)((r)(s))) \begin{aligned} & \left( \left( s \right)\wedge \left( \left( \sim \sim r \right)\vee \left( \sim s \right) \right) \right) \\\ & =\left( \left( s \right)\wedge \left( \left( r \right)\vee \left( \sim s \right) \right) \right) \\\ \end{aligned}
As you can see the above expression is in the form of a(bc)a\wedge \left( b\vee c \right)and we know the expansion of a(bc)a\wedge \left( b\vee c \right) as:
(ab)(ac)\left( a\wedge b \right)\vee \left( a\wedge c \right)
So, we can use the above expression to simplify ((s)((r)(s)))\left( \left( s \right)\wedge \left( \left( r \right)\vee \left( \sim s \right) \right) \right) as follows:
(sr)(ss)\left( s\wedge r \right)\vee \left( s\wedge \sim s \right)
We know that intersection of two elements which are negated with respect to each other is ϕ\phi .
(sr)(ϕ)\left( s\wedge r \right)\vee \left( \phi \right)
In the above expression, union sign \vee means addition and ϕ\phi is the null set or equivalent to 0 so adding 0 to any element will give you the same element so taking ϕ\phi in union with (sr)\left( s\wedge r \right) we will get:
(sr)\left( s\wedge r \right)
From the above evaluation, we got the negation of s(rs)\sim s\vee \left( \sim r\wedge s \right) as (sr)\left( s\wedge r \right).

So, the correct answer is “Option A”.

Note: The mistake that you could make in the above problem is in simplifying the following expression:
((s)((r)(s)))\left( \left( s \right)\wedge \left( \left( r \right)\vee \left( \sim s \right) \right) \right)
In the above expression, to simplify it we are going to use the following property:
a(bc)=(ab)(ac)a\wedge \left( b\vee c \right)=\left( a\wedge b \right)\vee \left( a\wedge c \right)
Now, you might get confused in applying this property so to avoid such mistake you can remember to apply the following property that first take the intersection of a and b then you will get,
(ab)\left( a\wedge b \right)
Then put the union sign after the above expression you will get,
(ab)\left( a\wedge b \right)\vee
Now, take the intersection of a and c and write in front of the above expression we get,
(ab)(ac)\left( a\wedge b \right)\vee \left( a\wedge c \right)
This is how you can remember this distributive property and won’t commit mistakes.