Boolean Algebra with DeMorgan's Theorems

     A.  (A/.B.C.)/                => A//.B/.C//

                                          A+B/+C

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

                                          A.B+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/

                                         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/

                                        A/+B/+C+D/