Join WhatsApp Icon JEE WhatsApp Group
Question 67

The Boolean expression $$(p \Rightarrow q) \wedge (q \Rightarrow \sim p)$$ is equivalent to:

We have to simplify the Boolean expression $$ (p \Rightarrow q)\;\wedge\; (q \Rightarrow \sim p)\,. $$

First, recall the standard logical equivalence for an implication. The implication formula states:

$$ a \Rightarrow b \;\equiv\; \sim a \,\vee\, b. $$

Applying this to each implication in our expression, we replace the arrows by disjunctions:

For the first part, $$p \Rightarrow q \equiv \sim p \vee q.$$

For the second part, $$q \Rightarrow \sim p \equiv \sim q \vee \sim p.$$

Substituting these two results back into the original conjunction, we obtain

$$ (\sim p \vee q)\;\wedge\;(\sim q \vee \sim p). $$

Now we notice that both disjunctions contain the common literal $$\sim p.$$ To combine the two clauses, we use the distributive law of Boolean algebra, which says

$$ (A \vee B)\;\wedge\;(A \vee C)\;=\;A \;\vee\;(B \wedge C). $$

Here, we match the symbols as follows:

$$A = \sim p,\quad B = q,\quad C = \sim q.$$

Substituting into the distributive formula, we get

$$ (\sim p \vee q)\;\wedge\;(\sim p \vee \sim q)\;=\;\sim p\;\vee\;(q \wedge \sim q). $$

The expression $$q \wedge \sim q$$ is always false, because a statement and its negation can never be true at the same time. Hence

$$ q \wedge \sim q = \text{False}. $$

Therefore, our entire expression simplifies to

$$ \sim p \;\vee\; \text{False} \;=\; \sim p. $$

So the Boolean expression $$ (p \Rightarrow q) \wedge (q \Rightarrow \sim p) $$ is logically equivalent to $$\sim p.$$

Looking at the given options, $$\sim p$$ appears as Option D.

Hence, the correct answer is Option D.

Get AI Help

Create a FREE account and get:

  • Free JEE Mains Previous Papers PDF
  • Take JEE Mains paper tests

JEE Quant Questions | JEE Quantitative Ability

JEE DILR Questions | LRDI Questions For JEE

JEE Verbal Ability Questions | VARC Questions For JEE

Free JEE Topicwise Questions

JEE Rotational MotionJEE Units & MeasurementsJEE Atomic StructureJEE GravitationJEE Periodic Table & PeriodicityJEE StatisticsJEE Inverse Trigonometric FunctionsJEE Magnetism & Magnetic MaterialsJEE Sequences & SeriesJEE MatricesJEE Alternating CurrentsJEE Carboxylic AcidsJEE Permutations & CombinationsJEE Work, Energy & PowerJEE Electromagnetic InductionJEE Electronic DevicesJEE d and f-Block ElementsJEE Chemical KineticsJEE Heat TransferJEE Three Dimensional GeometryJEE Magnetic Effects of CurrentJEE Hydrocarbons - AromaticJEE Electromagnetic WavesJEE Aldehydes & KetonesJEE Hydrocarbons - AlkanesJEE Applications of DerivativesJEE EquilibriumJEE Indefinite IntegrationJEE Chemical ThermodynamicsJEE ElectrochemistryJEE ProbabilityJEE BiomoleculesJEE Continuity & DifferentiabilityJEE Kinetic Theory of GasesJEE Vector AlgebraJEE Hydrocarbons - AlkynesJEE Differential EquationsJEE Current & ResistanceJEE Straight LinesJEE WavesJEE Redox ReactionsJEE Hydrocarbons - AlkenesJEE DeterminantsJEE SolutionsJEE Ray OpticsJEE Dual Nature of Matter & RadiationJEE Chemical Bonding & Molecular StructureJEE Complex NumbersJEE Sets, Relations & FunctionsJEE Electric Charges & FieldsJEE Laws of MotionJEE Fluid MechanicsJEE Basic Concepts in ChemistryJEE Trigonometric FunctionsJEE LimitsJEE Laws of ThermodynamicsJEE Kinematics - 2D MotionJEE p-Block Elements (Groups 13-18)JEE Simple Harmonic MotionJEE Electric Potential & CapacitanceJEE Coordination CompoundsJEE JEE 2D GeometryJEE CirclesJEE Definite IntegrationJEE EMF & Circuit AnalysisJEE Surface TensionJEE Atoms & NucleiJEE Laboratory Experiments - XIJEE Number SystemJEE Basic Principles of Organic ChemistryJEE Wave OpticsJEE Quadratic EquationsJEE Alcohols, Phenols & EthersJEE Organic Compounds with HalogensJEE DifferentiationJEE Conic SectionsJEE Nitrogen-Containing CompoundsJEE ElasticityJEE Practical Organic ChemistryJEE Kinematics - 1D MotionJEE Purification & CharacterisationJEE Binomial Theorem
Ask AI