521 Homework Solutions, Section 3-6


     a)   A&(~A v B)
          (A&~A) v (A&B)      D
          (A&B) v (A&~A)      CM
          A & B               LCD

     b)   A v B
          (A v B) & (A v ~A)  LTC
          A v (B & ~A)        D
          A v (~A & B)        CM, SLE

     h)   (A&B) v (~A&~B)
          ((A&B) v ~A) & ((A&B) v ~B)                  D
          (~A v (A&B)) & (~B v (A&B))                  CM x 2, SLE
          ((~A v A)&(~A v B)) & ((~B v A)&(~B v B))    D x 2, SLE
          ((~A v B)&(~A v A)) & ((~B v A)&(~B v B))    CM, SLE
          (~A v B) & (~B v A)                          LTC x 2, SLE