6.3.5 Boolean algebra

Problem: Prove the logical identity: \[ \overline{A \vee B}=\bar{A} \wedge \bar{B} \text {. } \]