שינויים

הוכח כי <math>(A\cap B)\cup C = (A\cup C)\cap (AB\cup C)</math>. במילים: האיברים שהם (גם בA וגם בB) או בC הם בדיוק האיברים ב(A או C) וגם ב(B או C)