Dm assignment1
0 likes329 views
This document outlines an assignment for Harshit Kumar due on March 23rd. It instructs him to use truth tables to prove 5 logical equivalence rules: (1) material implication, (2) biconditional, (3) distributive law, (4) DeMorgan's laws, and (5) idempotent law. For the idempotent law, three methods of proof are required as discussed in class.
1 of 2
Downloaded 13 times
More Related Content
Ad
Viewers also liked (13)
Ad
More from H K (17)
Dm assignment1
- 1. Assignment 1 Deadline: March 23 Harshit Kumar March 16, 2012
- 2. Use Truth Table to prove the following 1. P → Q = ¬P ∨ Q 2. P ←→= (P → Q) ∧ (Q → P ) 3. Distributive Law (a) P ∧ (Q ∨ R) = (P ∧ Q) ∨ (P ∧ R) (b) P ∨ (Q ∧ R) = (P ∨ Q) ∧ (P ∨ R) 4. DeMorgan’s Law (a) ¬(P ∨ Q) = ¬P ∧ ¬Q (b) ¬(P ∧ Q) = ¬P ∨ ¬Q 5. Idempotent Law (a) P ∨ (P ∧ Q) = P (b) P ∧ (P ∨ Q) = P For Q5, Provide all three methods of proof, as discussed in the class. 1