שינויים
/* פתרון */
<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(pq\or r)</math> קל להשיג את השקילות למה שצריך.
(הערה: ניתן להשתכנע בקלות בטאוטולוגיה באופן הבא: אם r=1 אזי נשאר עם הטאוטולוגיה
<math>1\iff 1</math> אם r=0 אזי נשאר עם הטאוטולוגיה
