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

Please explain 

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

Related questions

+1 vote
2 answers
1
+1 vote
1 answer
2
asked in Mathematical Logic by radha gogia Boss (6.8k points)   | 103 views
0 votes
0 answers
3


Top Users Apr 2017
  1. akash.dinkar12

    3514 Points

  2. Divya Bharti

    2546 Points

  3. Deepthi_ts

    2040 Points

  4. rude

    1966 Points

  5. Tesla!

    1768 Points

  6. Shubham Sharma 2

    1610 Points

  7. Debashish Deka

    1588 Points

  8. Arunav Khare

    1454 Points

  9. Kapil

    1424 Points

  10. Arjun

    1420 Points

Monthly Topper: Rs. 500 gift card

22,076 questions
28,042 answers
63,233 comments
24,135 users