Courses
Courses for Kids
Free study material
Offline Centres
More
Store Icon
Store
seo-qna
SearchIcon
banner

Match the following logical expression to its equivalent expression: (¬(pq))(¬pq)
(a) p
(b) q
(c) ¬p
(d) ¬q

Answer
VerifiedVerified
447.9k+ views
like imagedislike image
Hint: We should be clear about the basic rules for simplifying logical expressions. The various laws we should know include Idempotence law, Commutative law, Associative law, Distributive law. We can simplify this question by following a few steps; first try expanding the negation using distributive law, remember the properties of ‘and ‘ and ‘or’ where ‘ ’ stands for ‘and’, ‘ ’ stands for ‘or’. Try grouping based on the given brackets.

Complete step-by-step answer:
Observe the question carefully;
 (¬(pq))(¬pq)
Think about which all laws we can use to simplify this expression;
Start simplifying from the terms in the innermost bracket.
We see that there is a negation for the innermost bracket so we simplify in this way;
 (¬(pq))(¬pq)
 (¬p¬q)(¬pq) [ By De Morgan’s law]
 (¬p¬q)(q¬p) [ By commutative law, the second bracket gets simplified ]
 (¬p(¬qq)¬p) [ By associative law, we can group in this manner]
 (¬p¬p) [ We know that union of a term and its negation becomes 1 and anything intersection 1 remains as that term itself]
 ¬p [ Intersection of a term with itself is the term itself , by Idempotent law]
Final answer is option (c) ¬p
So, the correct answer is “OPTION C”.

Note: Logical expressions follow a certain set of laws. We can list a few:
* Commutative law: This law says that there is no particular order we need to follow while solving logical expressions. It can be represented in this way:
 ab=ba or ab=ba
* Associative law: This law says that order of grouping terms does not matter. Its representation is as follows:
 a(bc)=(ab)c or a(bc)=(ab)c
* Distributive law: This is used when we have to use two operations together in an expression:
 a(bc)=(ab)(ac) or a(bc)=(ab)(ac)
* De Morgan’s law: This is another form of a distributive law
 ¬(ab)=¬a¬b or ¬(ab)=¬a¬b