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

Please explain 

asked in Mathematical Logic by Active (1.2k points)   | 90 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.9k points)  
selected by


Top Users Aug 2017
  1. ABKUNDAN

    4670 Points

  2. Bikram

    4556 Points

  3. akash.dinkar12

    3420 Points

  4. rahul sharma 5

    3124 Points

  5. manu00x

    2864 Points

  6. makhdoom ghaya

    2450 Points

  7. just_bhavana

    2136 Points

  8. Tesla!

    2042 Points

  9. stblue

    1930 Points

  10. joshi_nitish

    1686 Points


24,970 questions
32,072 answers
74,567 comments
30,150 users