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

Please explain 

asked in Mathematical Logic by Junior (955 points)   | 72 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 (22.1k points)  
selected by

Related questions

+1 vote
2 answers
1
+1 vote
1 answer
2
asked in Mathematical Logic by radha gogia Boss (6.7k points)   | 93 views
0 votes
0 answers
3
asked ago in Mathematical Logic by vaishali jhalani Boss (5.4k points)   | 11 views
Top Users Jan 2017
  1. Debashish Deka

    8968 Points

  2. sudsho

    5326 Points

  3. Habibkhan

    4798 Points

  4. Bikram

    4532 Points

  5. Vijay Thakur

    4486 Points

  6. saurabh rai

    4222 Points

  7. Arjun

    4196 Points

  8. santhoshdevulapally

    3808 Points

  9. Sushant Gokhale

    3596 Points

  10. Kapil

    3486 Points

Monthly Topper: Rs. 500 gift card

19,212 questions
24,104 answers
53,150 comments
20,319 users