Вопрос по информатике:

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

Задача:

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

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

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

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