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