(B̄ ∪ C) ∩ (B ∩ C)

Переставим множители и сгруппируем:

(B̄ ∪ C) ∩ (B ∩ C) = B ∩ C ∩ (B̄ ∪ C).

Так как B ∩ C уже влечёт C, последний множитель равен истине на всех элементах этого пересечения. Поэтому:

Ответ: B ∩ C