# style=43: 4 termes

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

tex1=!instexstatic $$ (A \cap \overline B) \cup (\overline A \cap C) $$
tex2=!instexstatic $$ (B \cap \overline C) \cup (\overline B \cap A) $$
tex3=!instexstatic $$ (C \cap \overline A) \cup (\overline C \cap B) $$
tex4=!instexstatic $$ (A \cup \overline B) \cap (\overline A \cup C) $$
tex5=!instexstatic $$ (B \cup \overline C) \cap (\overline B \cup A) $$
tex6=!instexstatic $$ (C \cup \overline A) \cap (\overline C \cup B) $$

