# style=uc2: union + complement II

ineq=-A u -B,\
 -A u -C,\
 -B u -C,\
 -(A u B),\
 -(A u C),\
 -(B u C)

tex1=!instexstatic $$ \overline A \cup \overline B $$
tex2=!instexstatic $$ \overline A \cup \overline C $$
tex3=!instexstatic $$ \overline B \cup \overline C $$
tex4=!instexstatic $$ \overline {A \cup B} $$
tex5=!instexstatic $$ \overline {A \cup C} $$
tex6=!instexstatic $$ \overline {B \cup C} $$
