Mathematical Foundation of Computer Science – Equivalence & Implication Relations Implications

I1 I2 I3 I4 I5 I6 I7 I8 I9 I10 I11 I12 I13 I14

P∧Q ⇒P P∨Q⇒Q P ⇒P∨Q Q⇒P∨Q 7P ⇒ P → Q Q⇒P →Q 7(P → Q) ⇒ P 7(P → Q) ⇒ 7Q P, Q ⇒ P ∧ Q 7P,P ∨ Q ⇒ Q P,P → Q ⇒ Q 7Q,P → Q ⇒ 7P P → Q, Q → R ⇒ P → R P ∨ Q ,P → R, Q → R ⇒ R

Simplification ,, Addition ,,

Disjunctive Syllogism Modus Ponens Modus Tollens Hypothetical Syllogism Dilemma

Equivalences
E1 E2 E3 E4 E5 E6 E7 E8 E9 E10 E11 E12

7(7P) ⇔ P P ∧Q ⇔ Q∧P P∨Q ⇔ Q∨P (P ∧ Q) ∧ R ⇔ P ∧ (Q ∧ R) (P ∨ Q) ∨ R ⇔ P ∨ (Q ∨ R) P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R) P ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R) 7(P ∧ Q) ⇔ 7P ∨ 7Q 7(P ∨ Q) ⇔ 7P ∧ 7Q P ∧P ⇔ P P ∨P ⇔ P R ∨ (P ∧ 7P) ⇔ R

Double Negation Commutative law ,, Associative law ,, Distributive law ,, De’ Morgon’s law ,,

CVR College of Engineering

Srikanth

E13 E14 E15 E16 E17 E18 E19 E20 E21 E22 E23 E24 E25 E26

R ∧ (P ∨ 7P) ⇔ R R ∨ (P ∨ 7P) ⇔ T R ∧ (P ∧ 7P) ⇔ F P → Q ⇔ 7P ∨ Q 7(P → Q) ⇔ P ∧ 7Q P → Q ⇔ 7Q → 7P P → (Q → R) ⇔ (P ∧ Q) → R 7(P ↔ Q) ⇔ P ↔ 7Q P ↔ Q ⇔ (P → Q) ∧ (Q → P) P ↔ Q ⇔ (P ∧ Q) ∨ (7P ∧ 7Q) P ∨ F ⇔ P, P ∧ T ⇔ P P ∨ T ⇔ T, P ∧ F ⇔ F P ∨ (P ∧ Q) ⇔ P P ∧ (P ∨ Q) ⇔ P

Absorption law ,,

CVR College of Engineering

Srikanth

Sign up to vote on this title
UsefulNot useful