15. F = B ∨ (¬A ↔ C) ∧ A

Сначала выполняем конъюнкцию: \(F = B \lor ((\neg A \leftrightarrow C) \land A)\). В части, умноженной на \(A\), имеем \(A=1\), следовательно, \(\neg A=0\), и \((0 \leftrightarrow C)=\neg C\).

Поэтому \(F = B \lor (A \land \neg C)\).

Ответ: \(F = B \lor (A \land \neg C)\).