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∨(∼r∧s) is equivalent to:
(a) s∧r
(b) s∧∼(r∧∼s)
(c) s∨∼(r∧∼s)
(d) None of these
Solution
Basically we have to evaluate ∼(∼s∨(∼r∧s)). The properties that we are going to use in evaluating this expression are that negation of a∨b is ∼a∧∼b. The symbol ∼ represents negation. Similarly, negation of a∧b is ∼a∨∼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∧(b∨c) which is equal to (a∧b)∨(a∧c).
Complete step by step answer:
We have to find the negation of the following:
∼s∨(∼r∧s)
Negation is represented by the symbol ∼ so basically we have to evaluate the following expression,
∼(∼s∨(∼r∧s))……… eq. (1)
We are going to use the following property in solving the above expression.
∼(a∨b)=(∼a∧∼b)
Using the above property in eq. (1) we get,
(∼(∼s)∧∼(∼r∧s))
Applying two negations on any element say “p” will make the element free from negations as follows:
∼∼p=p
Using the above property in the new reduced form of the given expression as:
((s)∧∼(∼r∧s))
Now, we are going to use the following property of the negation of a∧b in the above equation which is equal to:
∼(a∧b)=(∼a)∨(∼b)
((s)∧((∼∼r)∨(∼s)))=((s)∧((r)∨(∼s)))
As you can see the above expression is in the form of a∧(b∨c)and we know the expansion of a∧(b∨c) as:
(a∧b)∨(a∧c)
So, we can use the above expression to simplify ((s)∧((r)∨(∼s))) as follows:
(s∧r)∨(s∧∼s)
We know that intersection of two elements which are negated with respect to each other is ϕ.
(s∧r)∨(ϕ)
In the above expression, union sign ∨ means addition and ϕ is the null set or equivalent to 0 so adding 0 to any element will give you the same element so taking ϕ in union with (s∧r) we will get:
(s∧r)
From the above evaluation, we got the negation of ∼s∨(∼r∧s) as (s∧r).
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)))
In the above expression, to simplify it we are going to use the following property:
a∧(b∨c)=(a∧b)∨(a∧c)
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,
(a∧b)
Then put the union sign after the above expression you will get,
(a∧b)∨
Now, take the intersection of a and c and write in front of the above expression we get,
(a∧b)∨(a∧c)
This is how you can remember this distributive property and won’t commit mistakes.