Show via Venn diagrams that the negation of a logical product ($\overline{AB}$) is equivalent to the logical sum of the negations ($\bar{A}+\bar{B}$).