Как решать подобные задачи ¬ ((A ∧ B) → (C ∨ D)) ∧ (C ∨ E) ∧ (E → ¬ (F → D))

Задача:

Укажите значения логических переменных, при подстановке которых в данное логическое

выражение получается значение истина

¬ ((A ∧ B) → (C ∨ D)) ∧ (C ∨ E) ∧ (E → ¬ (F → D))

Такие задачи решаются просто методом подбора или есть определённый алгоритм?

ответ по ссылке: https://examer.ru/ege_po_informatike/teoriya/logicheskie_vyrazheniya