GATE CSE
First time here? Checkout the FAQ!
x
0 votes
80 views

Please explain 

asked in Mathematical Logic by Active (1.2k points)   | 80 views
draw kmap and simplify. Enjoy :)

1 Answer

+5 votes
Best answer

Your choice of option (B) means you know (2) and (3) are Valid.

A statement is Valid if it always gives true value, irrespective of inputs. and we know that $p \Rightarrow q$ is equal to $\overline{p} + q$

Option-1: $(p \Rightarrow q) \land (r \Rightarrow s) \land (p \lor q) \Rightarrow (q \lor s)$

$(\overline{p} + q)(\overline{r} + s)(p + q) \Rightarrow (q + s)$ (represented in boolean form)

$\overline{(\overline{p} + q)(\overline{r} + s)(p + q)} + q + s$

$\overline{(\overline{p} + q)} + \overline{(\overline{r} + s)} + \overline{p+q} + q + s$

$p.\overline{q} + r.\overline{s} + (\overline{p}.\overline{q} + q)  + s$

$p.\overline{q} + r.\overline{s} + q + \overline{p} + s$

$(p.\overline{q} + q) + r.\overline{s} + \overline{p} + s$

$p + q + r.\overline{s} + \overline{p} + s$

$(p + \overline{p}) + q + r.\overline{s}  + s$

$1 +q + r.\overline{s}  + s$ which is equal to $1$(true) and is thus Valid.

Thus all options are Valid.

answered by Veteran (24.8k points)  
selected by

Related questions

+1 vote
2 answers
1
+1 vote
1 answer
2
asked in Mathematical Logic by radha gogia Boss (6.9k points)   | 106 views


Top Users May 2017
  1. akash.dinkar12

    3154 Points

  2. pawan kumarln

    1636 Points

  3. sh!va

    1590 Points

  4. Arjun

    1350 Points

  5. Bikram

    1298 Points

  6. Devshree Dubey

    1246 Points

  7. Angkit

    1044 Points

  8. Debashish Deka

    1042 Points

  9. LeenSharma

    880 Points

  10. srestha

    706 Points

Monthly Topper: Rs. 500 gift card
Top Users 2017 May 22 - 28
  1. Bikram

    384 Points

  2. pawan kumarln

    262 Points

  3. Ahwan

    236 Points

  4. Arnab Bhadra

    136 Points

  5. LeenSharma

    118 Points


22,770 questions
29,090 answers
65,119 comments
27,635 users