$$\text{Logic: <!-- -->}\neg <!--\; \neg \; -->\left(p\wedge <!--\; \wedge \; -->q\right)⟺<!--\; ⟺\; -->\left(\neg <!--\; \neg \; -->p\right)\vee <!--\; \vee \; -->\left(\neg <!--\; \neg \; -->q\right)$$ $$\text{Boolean algebra: <!-- -->}\stackrel{¯<!--\; ‾\; -->}{\underset{i=1}{\overset{n}{\bigcup <!--\; \bigcup \; -->}}{A}_i}=\underset{i=1}{\overset{n}{\bigcap <!--\; \bigcap \; -->}}\stackrel{¯<!--\; ‾\; -->}{A_i}$$