Redirected
edited by
6,487 views
34 votes
34 votes

Let $P, Q,$ and $R$ be three atomic propositional assertions. Let $X$ denote $( P ∨ Q ) → R$ and $Y$ denote $(P → R) ∨ (Q → R).$ Which one of the following is a tautology?

  1. $X ≡ Y$
  2. $X → Y$
  3. $Y → X$
  4. $¬Y → X$
edited by

4 Answers

Best answer
55 votes
55 votes
$X \equiv (P \vee Q) → R$
$\quad \equiv \neg(P \vee Q) \vee R$
$\quad \equiv (\neg P \wedge \neg Q) \vee R$
$\quad \equiv (\neg P \vee R) \wedge (\neg Q \vee R)$
$\quad \equiv (P →  R) \wedge (Q → R)$

So, $X  → Y$ is true as $(A \wedge B) → (A \vee B)$ is always TRUE but reverse implication is not always true.

Hence, B.
edited by
14 votes
14 votes

A good explanation is already given by arjun sir. I'm going to share my approach- (using rules of boolean algebra, checking options one by one)

$X=(P\vee Q)\rightarrow r$

     $=\overline{p+q} +R$

     $=\bar{P}• \bar{Q} +R$

$Y=(P\rightarrow R) \vee (Q\rightarrow R)$

    $=(\bar{P} + R) + (\bar Q +R)$

    $=\bar P +\bar Q + R$

A. Clearly $X\;\text {not}\equiv Y$

B. X$\rightarrow$Y $=\bar X+Y$

     $=(\overline{\bar P \bar Q+R}) + (\bar P +\bar Q + R)$

     $=(P+Q) \color{green}{\bar R }\; +(\bar P +\bar Q)+ \color{green}R$

     $=(P+Q+R)(\bar R+R)+(\bar P+\bar Q)$

     $=(P+Q+R)+(\bar P+\bar Q)$

     $=1\;(TRUE)$  So option B is correct..

Answer:

Related questions

50 votes
50 votes
4 answers
1
31 votes
31 votes
2 answers
2
go_editor asked Nov 27, 2016
11,377 views
Consider the following expression grammar. The semantic rules for expression evaluation are stated next to each grammar production.$$\begin{array}{l|l} E\rightarrow numbe...