שינויים
/* קבוצות */
'''איחוד''' של שתי קבוצות A ו B הינו אוסף האיברים המוכלים בA או בB (מסומן <math>A\cup B</math>). מתקיים ש<math>a \in A\cup B \iff (a\in A \or a\in B)</math>.
===תרגיל===
הוכח כי <math>(A\cap B)\cup C = (A\cup C)\cap (A\cup C)</math>. במילים: האיברים שהם (גם בA וגם בB) או בC הם בדיוק האיברים ב(A או C) וגם ב(B או C)
====פתרון====
נראה שקילות בין התנאים של איבר להיות באחת הקבוצות.
<math>x\in (A\cap B)\cup C \iff [x\in (A\cap B)] \or [x\in C] \iff [x\in A \and x\in B] \or [x\in C]</math>
כעת, מתוך הטאוטולוגיה <math>(p\and q)\or r \iff (p\or r)\and(p\or r)</math> קל להשיג את השקילות למה שצריך.
