Simplification Rules
xy + xy’ = x (x + y)(x + y’) = x
- This is easily proven using the distributivity property. xy + xy’ = x(y + y’) = x ? 1 = x
xy’ + y = x + y (x + y’)y = xy
- This is easily proven using the distributivity property. xy’ + y = (x+y)(y’+y) = (x+y) ? 1 = x + y
x+xy = x x(x + y) = x
- The proof of this is slightly more complexx+xy = x ? 1 + xy = x(1+y) = x ? 1 = x