COT3100Sets02

COT3100Sets02 - A Note of variable substitution In each of...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
A Note of variable substitution In each of the formulas I have gone over in chapters 2 and 3, each variable is exactly that, a variable. A variable is something that you can substitute in any value of the similar type for. ..that is what makes formulas with variables so powerful – they are applicable to a large number of cases. Here is an example of what I mean: The Distributive Law is: p (q r) (p q) (p r) Imagine simplifying the following expression: ((s t) v) ( ¬ v (s t)) ((s t) v) ((s t) ¬ v), Commutative (s t) (v ¬ v), Distributive, with p= s t, q= v, r= ¬ v (s t) F, Inverse Law (s t) , Identity Law One other thing to mention: notice how I used different letters in the problem than are listed in the rules. ..The reason I did that was for clarity’s sake; to show you all what was substituted for each variable. BUT, in the problems that YOU do, you’ll find that ps, qs and rs are used, just like in the formula. When you make substitutions, you’ll have to differentiate between the p&qs from the formula, and the p&qs in your specific problem!!! Be careful when doing this.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
following: ¬ ( ¬ ((A B) C) ¬ B) = (B C) One way is to use a membership table: A B C B C ¬ ((A B) C) ¬ B ¬ ( ¬ ((A B) C) ¬ B) 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 Next, we could use Set Laws to show the two expressions to be equivalent: ¬ ( ¬ ((A B) C) ¬ B) = ¬¬ (( A B) C) ¬¬ B (De Morgan’s) = (( A B) C) B (Double Negation) = (( A B) B) C (Associate & Commutative) = B C (Absorption) For this particular problem, we could show that each set is a subset of the other. However, for this particular problem, that
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 8

COT3100Sets02 - A Note of variable substitution In each of...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online