AGARWAL_SIDDHARTH_PROJECT_1.pdf - (¬p v r(p v q �(¬p v...

This preview shows page 1 out of 1 page.

Truth Table for (p v q) (¬p v r) -> q V rpqr(p v q)p v r)(p v q) p v r)(q V r)(p v q) p v r) -> q V rFFFFTFFTFFTFTFTTFTFTTTTTFTTTTTTTTFFTFFFTTFTTFFTTTTFTTTTTTTTTTTTTT=1 F=0(p q) (¬p r) (q r) = ¬[(pq)(¬pr)](qr) //implication law = [(¬p¬q)(p¬r)](qr) //de Morgan’s law = [(¬p ¬q) q] [(p ¬r) r] //associative law = [(¬pq)(¬qq)][(pr)(¬rr)] //distributive law = (¬p q) (p r) = (¬p p) (q r) //communicative law

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture