hw9Solutions - Homework 9 Solutions Problem 1) AB=BA AB {x...

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

View Full Document Right Arrow Icon
Homework 9 Solutions Problem 1) A B = B A A B {x | x A x B} definition of {x | x B x A } commutative B A definition of Problem 2) (A B) C = A (B C) (A B) C {x | (x A x B) x C} definition of {x | x A (x B x C)} associative A (B C) definition of Problem 3) A – B = A B’ A – B’’ double complement {x | x A x B’’} definition of – {x | x A ¬ (x U x B’) definition of complement {x | x ¬ (x U ¬ (x B’))} definition of {x | x A ¬ (x U ¬ (x U x B))} definition of complement {x | x A ¬ (x U ¬ (x U ¬ (x B)))} definition of {x | x A ¬ (x U ( ¬ (x U) (x B)))} DeMorgan’s and double negation {x | x A ( ¬ (x U) ¬ ( ¬ (x U) (x B)))} DeMorgan’s {x | x
Background image of page 1

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

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This homework help was uploaded on 04/08/2008 for the course CS 2603 taught by Professor Rexpage during the Spring '08 term at The University of Oklahoma.

Page1 / 2

hw9Solutions - Homework 9 Solutions Problem 1) AB=BA AB {x...

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

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