![Very Happy :D](./images/smilies/icon_biggrin.gif)
(u = union, n = intersection, og *B* er B med sånn strek over)
A og B er mengder, vis at:
(A n B) u (A n *B*) = A
Eg går først fram med å vise:
(A n B) u (A-B) =
(A n B) u A =
A u (A n B) =
Så gir "absorption laws" at:
A = A u (A n B)
Har eg no bevist at
(A n B) u (A n *B*) = A
Eg føler meg så utruleg usikker på dette stoffet her, og bevisføringsopplegget føles som å køyre på is med bind føre augene.