Deprecated: Implicit conversion from float-string "1671179606.425" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1671179606.425" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1671179606.425" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1671179606.425" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1671179606.425" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1532873957.649" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1532873957.649" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1532873957.649" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1532873957.649" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1532873957.649" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1532875066.577" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1532875066.577" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1532875066.577" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1532875066.577" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1532875066.577" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1541179276.468" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1541179276.468" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1541179276.468" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1541179276.468" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1541179276.468" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1541180774.871" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1541180774.871" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1541180774.871" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1541180774.871" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1541180774.871" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1547315044.768" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1547315044.768" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1547315044.768" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1547315044.768" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1547315044.768" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1624802404.647" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1624802404.647" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1624802404.647" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1624802404.647" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1624802404.647" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1668678931.941" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1668678931.941" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1668678931.941" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1668678931.941" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1668678931.941" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1694627422.718" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1694627422.718" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1694627422.718" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1694627422.718" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1694627422.718" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594

Deprecated: Implicit conversion from float-string "1710359339.856" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 796

Deprecated: Implicit conversion from float-string "1710359339.856" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 801

Deprecated: Implicit conversion from float-string "1710359339.856" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 802

Deprecated: Implicit conversion from float-string "1710359339.856" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 803

Deprecated: Implicit conversion from float-string "1710359339.856" to int loses precision in /var/www/html/qadb/qa-include/app/format.php on line 594
Mathematical Logic: GATE CSE 2005 | Question: 40
edited by
6,546 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

11.8k
views
4 answers
50 votes
gatecse asked Sep 21, 2014
11,766 views
What is the first order predicate calculus statement equivalent to the following?"Every teacher is liked by some student"$∀(x)\left[\text{teacher}\left(x\right) → ∃...
11.5k
views
2 answers
31 votes
go_editor asked Nov 27, 2016
11,482 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...
5.0k
views
3 answers
23 votes
go_editor asked Nov 15, 2016
4,953 views
We are given $9$ tasks $T_1, T_2, \dots, T_9$. The execution of each task requires one unit of time. We can execute one task at a time. Each task $T_i$ has a profit $P_i$...
10.9k
views
5 answers
35 votes
go_editor asked Nov 14, 2016
10,894 views
double foo(int n) { int i; double sum; if(n == 0) { return 1.0; } else { sum = 0.0; for(i = 0; i < n; i++) { sum += foo(i); } return sum; } }Suppose we modify the above f...