a) A∪(B∩A) = B
B∩A - это пересечение множеств B и A. Объединение этого пересечения с множеством A даст просто множество A, т.е. A∪(B∩A) = A. Равенство A = B верно только если A=B.
б) A∩(B∪A) = A
B∪A - это объединение множеств B и A. Пересечение этого объединения с множеством A даст просто множество A, т.е. A∩(B∪A) = A. Равенство верно.
Ответ: а) не всегда верно; б) верно.