# style=41: 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 B) \cup (\overline A \cap \overline C) $$
tex2=!instexstatic $$ (B \cap C) \cup (\overline B \cap \overline A) $$
tex3=!instexstatic $$ (C \cap A) \cup (\overline C \cap \overline B) $$
tex4=!instexstatic $$ (A \cup B) \cap (\overline A \cup \overline C) $$
tex5=!instexstatic $$ (B \cup C) \cap (\overline B \cup \overline A) $$
tex6=!instexstatic $$ (C \cup A) \cap (\overline C \cup \overline B) $$

