6.3.5 Булева алгебра

Условие: Доказать логическое тождество: \[ \overline{A \vee B}=\bar{A} \wedge \bar{B} \]