RVR Institute of Engineering& Technology

Examination Branch I-Mid Examinations,aug-12 Set-1 Branch: CSE A, B, IT Course: II B.Tech-, I-Sem Subject: MFCS Answer any Two Questions. All Questions carry equal Marks. Exam Date: Duration: 60 mins Max.Marks:10

1) a) Prove without using truth table a)[p(qvr)] [r(pq)][(pq) r] b) [(pvq)r][r(svt)][su][ut]=>p 2) a) prove using rules of inferences If it is hot today or raining then it is no fun to snow ski today It is no fun to snow ski today Therefore it is hot today b) Determine the truth value of i) x,(p(x) q(x)) ii)x,(p(x)r(x)) Where p(x):xo; q(x):xo; r(x):x-3x-4=o 3) Let A,B,C R where A={(x,y)/y=2x+1} B={(x,y)/y=3x} C={(x,y)/x-y=7} Determine a)AB b)BC c)(A UC

c c
)

d)B UC

4) Show that for any commutative monoid (M,) the set of idempotent elements of M f form a submonoid

RVR Institute of Engineering& Technology

I-Mid Examinations,aug-12 Set-2 Branch: CSE A, B, IT Course: II B.Tech-, I-Sem Subject: MFCS Answer any Two Questions. All Questions carry equal Marks. Exam Date: Duration: 60 mins Max.Marks:10

1) a) Prove without using truth table [(pq)(pr)] [p(qr)] b) prove that following argument is valid b) (p q) (p(rq)) [r(svt)]s=>t 2) a) prove using rules of inferences Duke is a Labrador retriever All labrador retriever likes to swim Therefore Duke likes to swim b) Determine the truth value of i) x,(p(x) q(x)) ii)x,(p(x)r(x)) Where p(x):xo; q(x):xo; r(x):x-3x-4=o 3) Let A,B,C R where A={(x,y)/y=2x+1} B={(x,y)/y=3x} C={(x,y)/x-y=7} Determine a)AB 4) b)B C c)(A UC

c c
)

d)B UC

Explain semi group, monoid, subsemigroup, submonid with examples