13. F = A → ¬B ∨ (¬A ∨ C)

Раскрываем импликацию по правилу \(X \to Y = \neg X \lor Y\):

\(F = \neg A \lor \neg B \lor (\neg A \lor C) = \neg A \lor \neg B \lor C.\)

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