simplification theorems make use de'morgan

a)  A// . B/ . C//                    =  A . B/ . C

                  A + B/ + C

b)  A// + (B// . C/)               =  A + (B . C/)
                                               A . (B + C/)
                                               (A . B) + (A . C/)

c)  A/ . B/ . C// . D//            =  A/ . B/ . C . D
                                               A/ + B/ + C + D

d)  A/ + B//                         =  A/ + B
                                               A/ . B

e)  A// . B//                          =  A . B
                                                A + B

f)  A// + C// + D//                =  A + C + D
                                               A . C . D

g)  A/ . (B// + C///) . D/       =  A/ . (B + C/) . D/
                                               A/ + (B . C/) + D/

h)  (M/ + N//) . (M// + N/)   =  (M/ + N) . (M + N/)
                                               (M/ + N) . (M + N/)
                                               (M/ . N) + (M . N/)

i)    A/// . B/// . C// . D/         =  A/ . B/ . C . D/

      A/ + B/ + C + D/