Zeige, dass in einem booleschen Verband V {\displaystyle {}V} die Gleichheit ¬ ( x ⊓ y ) = ¬ x ⊔ ¬ y {\displaystyle {}\neg (x\sqcap y)=\neg x\sqcup \neg y} für alle x , y ∈ V {\displaystyle {}x,y\in V} gilt.