How can I prove <by induction> the following De Morgan laws are valid for all n >= 2
- ( P(d1) ^ ... ^ P(dn) ) = ( - P(d1) ) v ... v ( - P(dn) )
knowing that -(p^q)=(-p)v(-q) and -((p)v(q))=(-p)^(-q) ?
I can use the inductive proof method on algebra/math theorems that have to do with...