207. Пользуясь диаграммой Эйлера, проверьте, верно ли равенство: а) A ∪ (B ∩ C) = B; б) A ∩ (B ∪ A) = A.

а) Равенство неверно. Левая часть содержит всё множество \(A\), а правая часть — только множество \(B\). На диаграмме есть элементы \(A\), не принадлежащие \(B\), поэтому \(A\cup(B\cap C)\ne B\).

б) Равенство верно, так как по распределительному закону и закону поглощения:

\[A\cap(B\cup A)=(A\cap B)\cup(A\cap A)=(A\cap B)\cup A=A.\]

Ответ: а) неверно; б) верно.