שינויים

<math>\iff [(x\in A) \and (x\in B)]\and [(x\notin C)\or(x\notin A)]\iff\iff [(x\in A) \and (x\in B)]\and \neg [(x\in C)\and(x\in A)] </math>